Characteristic predicate UnvalidatedDynamicMethodCall :: FunctionCheck :: FunctionCheck