fix for I/O printing the same char multiple times (due to generating multiple successors even for normal execution)
Added a test for a simple label-based definition, with context rules and a dummy parser