Add a missing method and tests for PDA->DA conversion