let transProg _ =
  failwith "Not implemented: Tiger_semant.transProg"