sympify the args of AppliedPredicate
Merge pull request #2532 from asmeurer/predicate-sympify

sympify the args of AppliedPredicate