Converts a PDA into a lower-level PDA-RISC which is easier to flow analyze