let equal = Cilutil.StmtSet.equal