let string_of_trans num cross=
  (trans_label num) ^" : "^(string_of_condition cross)