Method: GET_EVENT_CONTEXT
Method: ADD_DELETED_EVENT_CONTEXT
Method: GET_REFERENCED_OBJECTS
Method: CLONE_REFERENCED_OBJECTS
Method: GET_EVENT_CONTEXT_INSTANCE
Method: COPY_REFERENCED_OBJECTS
Method: ADD_EVENT_CONTEXT
Method: GET_STRUCTURE_FIELD_USAGES
Method: INSTANTIATE_REFERENCED_OBJECTS
Method: LOAD_CONTEXTS
Method: REMOVE_EVENT_CONTEXT
Method: GET_REFERENCED_EVENT_OBJECTS
Method: GET_CHECK_SET
Method: IF_SMT_OBJECT~DISCARD_CHANGES
Method: GET_RULE_SET
Method: LOAD_DATA
Method: IF_SMT_OBJECT~FREE
Method: CONSTRUCTOR
Method: SET_OBJECT
Method: SET_SELECTED_CONTEXT
Method: CLEAR_OBJECT
Method: GET_CONTEXT