Method: SOLVE_FOR_MIN_CSTIC
Method: PO_FIND_OR_INSERT_SINGLETON
Method: REPLACE_MASTER_DATA
Method: TRANSFORM_TREE_TO_CODE
Method: CHECK_CSTIC
Method: MAKE_NXPR
Method: MAKE_NOT_SPECI
Method: MAKE_UPPER_BORDER
Method: MAKE_SXPR
Method: FIND_OR_INST_SINGLETON
Method: USAGE_OF_CSTIC_IN_CODE
Method: TEST_LITERAL_ARITY
Method: FILL_SIMPLE_LITERAL
Method: TRANSFORM_SIMPLE_LITER_TO_CODE
Method: FILL_SXPR_LITERAL
Method: FILL_NXPR_LITERAL
Method: EVAL_FNUM
Method: FILL_PRD2_LITERAL
Method: FILL_PRD1_LITERAL
Method: ADD_KNOWLEDGE
Method: EVAL_OVAR
Method: EVAL_STERM
Method: EVAL_TAB_INTERFACE
Method: EVAL_ICOL
Method: EVAL_FUN_INTERFACE
Method: EVAL_NUMX_MEMBER
Method: EVAL_AVAR_KEY
Method: EVAL_SYM_MEMBER
Method: EVAL_FUNCTION
Method: EVAL_BNUM
Method: EVAL_NXPR
Method: EVAL_BLOG
Method: EVAL_TABLE
Method: EVAL_BSYM
Method: EVAL_FSYM
Method: EVAL_IN_NAMED_SYM_SET
Method: EVAL_SXPR
Method: EVAL_ULOG
Method: EVAL_KEY
Method: EVAL_INTB
Method: EVAL_ITYPE
Method: EVAL_SYM
Method: EVAL_UNUM
Method: EVAL_NTERM
Method: EVAL_BPRED
Method: EVAL_TAB_INF
Method: EVAL_FUN_INF
Method: EVAL_AVAR_INT
Method: COMPARE_NUM_VALUES