Added output from .jison file using php flavor