code: @Override
  	public void caseAForAllExp(AForAllExp node) throws AnalysisException
  	{
  		if (!proceed(node))
  		{
  			return;
  		}
  
  		handleMultipleBindConstruct(node, node.getBindList(), null, node.getPredicate());
  	}
docs: /*
  Exists1 needs no treatment it uses only a bind