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