(ERIKS-HT-RESET)
(ERIKS-HT-LOOKUP)
(ERIKS-HT-SET)
(BV-EQ-RAW)
(ZERO-SAT-PLUS-STOBJ)
(CONSTRUCT-SAT-PLUS-STOBJ)
(CREATE-UNINTERPRETED-FUNCTION-ENTRY)
(UCE-ARGS)
(UCE-RETURN-VAR)
(SIG-ARG-RV-TYPES)
(SIG-TYPE-BV-SIZE)
(GET-IVAR-IF-PRESENT)
(ADD-NEW-FUN-CALL)
(LOOKUP-EXTRA-FUN-SIG)
(ADD-EXTRA-FN-LIST)
(EXTRA-FUNP)
(UPDATE-UCE-LIST-PAIR)
(CONST-UCE-LIST)
(NON-CONST-UCE-LIST)
(LOOKUP-EXTRA-FUN-CALL-LIST)
(ADD-NEW-EXTRA-FUN-CALL)
(SP-CONSTP)
(SP-CONST-VAL)
(GEN-EQ-TODO-EXPR)
(ARGS-BV-EQ-TODO-EXPR)
(EXTRA-FUN-TODO-EXPR)
(CONSTANT-LISTP)
(CREATE-TODO-ARGS-LIST)
(LOOKUP-IVAR-FROM-FN-CALL)
(REDUNDANCY-REMOVAL-LIST)
(SMT-SAT-ADD-EXPR)
(SMT-SAT-SOLVE)
