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