Remove attributes from functions parameterized with predicates
should be inferred by predicates