[bugfix] Remove some codegen time evaluation of predicates
This does not work if the predicate contains a function call (you cannot infer the possible return values at codegen time).
This does not work if the predicate contains a function call (you cannot infer the possible return values at codegen time).