Implement rule calls within a grammar for BytecodeMachine
Make BytecodeHelpers a Generator extension rather than a Machine extension