Fix prettifier for PRec and update test case