// Test half LRs.
$ lr(a/b\]) = a = lr(\{a/b) $