Production priority(Symbol s, [*Production a, priority(Symbol t, list[Production] b), *Production c])
import ParseTree;