let inter = Stmt.Set.inter