val nameContainsNotFun: String
Overrides AtMostChecker.nameContainsNotFun
The function which should be used instead of atMostCall when times is zero.
atMostCall