if (! (left instanceof ExpressionVariable))
if (! (left instanceof ExpressionVariable) && ! (left instanceof TypeVariable))
	private static boolean canAddLeftSideToInitialBadSet(SimpleTypeConstraint sc, Set setOfAll, ConstraintVariable interfaceVariable) {		ConstraintVariable left= sc.getLeft();		ConstraintVariable right= sc.getRight();		if (! (left instanceof ExpressionVariable))			return false;		else if (! setOfAll.contains(left))				return false;		else if (interfaceVariable.isSubtypeOf(right))			return false;		//DeclaringTypeVariables are different - they can never be updated by this refactoring		else if (setOfAll.contains(right) && ! (right instanceof DeclaringTypeVariable))			return false;		else			return true;	}