showFR c Backjump                         = " (backjumping, conflict set: " ++ showCS c ++ ")"
showFR c Backjump                         = " (backjumping, conflict set: " ++ showCS c ++ ")"
showFR c Backjump                         = " (backjumping, conflict set: " ++ showCS c ++ ")"