- Normalize PBES before applying PFNF rewriter.