let diff = Stmt.Set.diff