eliminate supertypes with incorrect variance from model 'cos they can
result in nontermination