simpler translation of 'div' and 'mod' for Z3
simpler translation of 'div' and 'mod' for Z3

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle