Expose unique identifier of term with Term.tag
Merge pull request #148 from chsticksel/develop

Expose unique identifier of term with Term.tag
Merge remote-tracking branch 'upstream/develop' into Adrien_cleaning-k-induction
Check-sat assuming now working.