Renaming constant HAS_BEEN_CALLED_AT_LEAST_ONCE to AT_LEAST_ONCE