// Parser test: arithmetic expressions with identifiers Block -> union { A -> seq { a : 0 words, b : n words } | B -> seq { a : n words, c : k words } }