사전조건(precondition)