let remove = Cilutil.StmtSet.remove