need to expand acceptors on the fly; as needed: else, we get infinite loop
during static init if we have: a: B c; c: E | a.  (note loop).