modify assertion&precondition