Implement at_least, at_most, at_times, with, verify, reset methods