Predicates for dynamic method invocation and field access.