let commute_flag f =
{
flag_not = not f.flag_not;
flag_flag = f.flag_flag
(*
match f.flag_flag with
| Aflag -> Bflag
| Bflag -> Aflag
| Eflag -> Eflag
| Lflag -> Gflag
| Gflag -> Lflag
*);
flag_eq = not f.flag_eq;
}