@ Override public PExp caseAExistsExp ( AExistsExp node , Substitution question ) throws AnalysisException { PExp sub = node . getPredicate ( ) . clone ( ) . apply ( main , question ) ; node . setPredicate ( sub . clone ( ) ) ; return node ; }
cases here for what we need