let print_epsilon_trans fmt = function
| Normal (c,a) ->
Format.fprintf fmt "%a%a"
Promelaoutput.print_condition c
Promelaoutput.print_action a
| Epsilon (c,a) ->
Format.fprintf fmt "epsilon-trans:@\n%a%a"
Promelaoutput.print_condition c
Promelaoutput.print_action a