let diff = Cilutil.StmtSet.diff