greatly cleaned up ConvertInsn.scala