let empty = Cilutil.StmtSet.empty