add another match-order-1 assertion, top down left right evalution is
preserved and the decision tree is smaller since there fewer reasons
to backtrack