Force SMTInterpol to ignore variables related to abstract transition