}
Scope scope = cond.getVariable().getScope().getScope();
while (scope instanceof ConditionScope) {
scope = scope.getScope();
}
subs.scopeClose(scope);
// make sure we get a variable name now, and that it doesn't change over time, because
// we will need this variable name in transformCommonResultDecl(), which declares it,
// and it runs after we process inner conditions, and if we are an assert, inner conditions
// may declare new substitutions, which do not close until the end of the outer scope,
// so if we use substitutions we will get substituted names, rather than the name we should