add test for $divfloor and $modfloor with write_smt2