minInt and maxInt use they hooks now and have smt translations
fixed min and max in z3 prelude
fixed problem with abs translation to SMTLib
addressed some comments