(load "../common") (mtest (uni #H(() ("a") ("b")) #H(() ("b") ("c"))) (("a") ("b") ("c")) (diff #H(() ("a") ("b")) #H(() ("b") ("c"))) (("a")) (isec #H(() ("a") ("b")) #H(() ("b") ("c"))) (("b")))