Improved redundancy removal in PBJ translator