chore: move src/cmath/cil2smt2 => src/cil2smt2