evaluate: failure with lal-lan merge
At commit 851fc4e9, this test fails on the evaluation of aba|ab
and aaa|ab
, by saying the result is oo
.
Currently, the old enable_if
on is_free
is just changed to is_letterized
with no dynamic check on the properness (simply removing the enable_if
caused compilation issues), the problem may come from here.