Changing the style: from bussproofs to mathpartir. The reason is: bussproofs has a limitation of branching factor at most 5.
Changing the style: from bussproofs to mathpartir.
The reason is: bussproofs has a limitation of
branching factor at most 5.

LPCIC/elpi