VAMPIRE: Small bug related to specification of supertypes and subtypes in type scope.

[ArenBabikian]

Consider a case where typeA is a supertype of typeB. In the type scope, we state that the minimum (note that this is not a problem for maximum) number of instances of these types are TypeA: 5 and TypeB:3. Currently, the program would output something like this: o1 | o2 | o3 | o4 | o5 => TypeA and o6 | o7 | o8 => TypeB, which is incorrect.

The correct output would be o1 | o2 | o3 | o4 | o5 => TypeA and o1 | o2 | o3 => TypeB.

Refer to lines 35,36 and lines 63, 64, 73, 74 .