let print_operations_constants (states_l,trans_l) =
print_start_block "Operations status";
fprintf !out_fmt "enum Status_list {\n";
fprintf !out_fmt " %s,\n" callStatus;
fprintf !out_fmt " %s\n" termStatus;
fprintf !out_fmt "}\n";
print_end_block "Operations status";
print_start_block "Some constants about the Buchi automata";
fprintf !out_fmt "# define %s=%d\n" nbStates (List.length states_l);
fprintf !out_fmt "# define %s=%d\n" nbTrans (List.length trans_l);
fprintf !out_fmt "# define %s=%d\n" nbAcceptSt (List.fold_left (fun i s -> if s.acceptation=True then i+1 else i) 0 states_l);
print_end_block "Some constants about the Buchi automata"