let string_of_trans num cross=
  ("tr"^string_of_int(num))^" : "^(string_of_condition cross)