Extracted constant HAS_BEEN_CALLED_AT_LEAST_ONCE