12.5 前提（Precondition）机制