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;
  }