let trans = Hashtbl.find a.transitions q in
let trans' = List.map (fun (lab, f) -> lab, flip b f) trans in
Hashtbl.replace a.transitions q' trans'
let trans = Hashtbl.find a.transitions q in
let trans' = List.map (fun (lab, f) -> lab, flip b f) trans in
Hashtbl.replace a.transitions q' trans'