Verifies that number of calls for each function is within the given range. It allows unverified calls.