diff --git a/tests/lua/level7.lua b/tests/lua/level7.lua
new file mode 100644
index 000000000..9f9f77be6
--- /dev/null
+++ b/tests/lua/level7.lua
@@ -0,0 +1,24 @@
+assert(max_univ("l1", "l2"):is_geq("l1"))
+assert(max_univ("l1", "l2"):is_geq(max_univ("l2", "l1")))
+print(max_univ("l2", "l1", "l3"))
+assert(not max_univ("l1", "l2"):is_geq(max_univ("l2", "l1", "l3")))
+assert(not imax_univ("l1", "l2"):is_geq("l1"))
+assert(imax_univ("l1", "l2"):is_geq("l2"))
+print(imax_univ("l1", succ_univ("l2")))
+assert(imax_univ("l1", succ_univ("l2")):is_geq(max_univ("l2", "l1")))
+assert(max_univ("l1", succ_univ("l2")):is_geq(max_univ("l2", "l1")))
+assert(succ_univ("l1"):is_geq("l1"))
+assert(succ_univ(succ_univ("l1")):is_geq("l1"))
+assert(max_univ(1, 3):is_geq(3))
+assert(max_univ(1, 3):is_geq(2))
+assert(not max_univ(1, 3):is_geq(5))
+local l1 = param_univ("l1")
+local l2 = param_univ("l2")
+local g = global_univ("g")
+assert((g+1):is_geq(g))
+assert((g+2):is_geq(g+1))
+assert(not g:is_geq(l1))
+assert(not max_univ(l1, l2):is_geq(max_univ(l2, l1+1)))
+assert((max_univ(l1, l2) + 1):is_geq(max_univ(l2, l1+1)))
+assert(max_univ(l1+2, l2, g+1):is_geq(max_univ(g+1, l1+1, l2)))
+assert(not max_univ(l1+2, l2, g+1):is_geq(max_univ(g+2, l1+1, l2)))