removed ast based forall termination, fixed anonymous variable name search