else if (TSymbolT.M.has$expr(sym)) {
final TMaybe mbex = TSymbolT.M.expr(sym);
final TMaybe.DJust just = mbex._Just();
if (just != null) {
Lambda lam = Delayed.<Lambda>forced(just.mem1);
final TExprT expr = Delayed.<TExprT>forced(State.evalState(lam, g));
visit(g, expr);
}
}
popSubItem();
return true;