Repairing tests in PF