module StmtComparable: Graph.Sig.COMPARABLE with type t = Cil_types.stmt
Graph.Sig.COMPARABLE
with type t = Cil_types.stmt