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