// so this just causes errors when we use variables in set patterns.
// env.declareVariable(staticSubjectElementType, name);
} else {
if(varRes.getValue() != null){
Type varType = varRes.getType();
if (varType.comparable(staticSetSubjectType)){
/*
* A set variable declared in the current scope: add its elements
*/
fixedSetElements = fixedSetElements.union((ISet)varRes.getValue());
} else if(varType.comparable(staticSubjectElementType)){