Test PDFA