Учитывая приведенный ниже простой тест, в некоторых случаях Оценщик дает отрицательное количество элементов.
sig A{}
pred show{}
run show
// 2nd instance
univ {A$0}
#univ -1
// 3rd instance
univ {A$0, A$1}
#univ -2
// 4th instance
univ {A$0, A$1, A$2}
#univ 3