Remove attributes from functions parameterized with predicates
should be inferred by predicates
Make dynamic/assoc arrays nullable