removed unused freevar sets in SMT terms; checkpoint before hash-consing SMT terms