let default () = Cilutil.StmtSet.empty