Numerals are always positive, else wrap in uminus
Merge pull request #152 from chsticksel/develop

Numerals are always positive, else wrap in uminus
Merge remote-tracking branch 'upstream/develop' into Adrien_cleaning-k-induction
Bug fix in lock step, check-sat-assuming and base.