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