Member predicate AssertionMethod :: getACheck
Gets a call to the assertion method with checkedArg
as argument.
MethodAccess
getACheck
(
Expr
checkedArg
)