Method: IF_SMT_OBJECT~DISCARD_CHANGES
Method: LOAD_DATA
Method: REMOVE_RULE
Method: MOVE_RULE_DOWN
Method: ADD_RULE
Method: GET_NEXT_RANK
Method: CLONE_RULE
Method: MOVE_RULE_UP
Method: IS_RULE_FIRST_IN_CHAIN
Method: LOAD_CONTEXT