sympify the args of AppliedPredicate