let singleton = Cilutil.StmtSet.singleton