let print_full_transition fmt (cond,action) =
  Format.fprintf fmt "%a@\n%a" print_condition cond print_action action