Verifies that each function call occurred at least once and at most n times. It allows unverified calls.