Extracted HasBeenCalledAtLeastOnceError