fix parser in pda-to-pda-risc