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