Welcome! Please see the About page for a little more info on how this works.
We should implement the rest of Maranget's suggested heuristics.
p - needed prefix q - constructor prefix b - branching factor a - constructor arity