I wouldn't call this a precondition - to me a precondition indicates that the function will fail (as in 'assert' fail) if the precondition is not met. That is not the case here.