Update precondition.