Merging refiner bug
ParingResult assign + imply
Refactoring