be-tree
be-tree copied to clipboard
Simplify expressions if possible
For example, x = 1 or x = 2
should become x one of (1, 2)
.