[("tests/examples/Default25.hs:1:12-122: Warning: Redundant if\nFound:\n  if nullPS s then\n      return False\n  else\n      if headPS s /= '\\n' then\n          return False\n      else\n          alter_input tailPS >> return True\nPerhaps:\n  if nullPS s || (headPS s /= '\\n') then\n      return False\n  else\n      alter_input tailPS >> return True\n",[Replace {rtype = Expr, pos = SrcSpan {startLine = 1, startCol = 12, endLine = 1, endCol = 123}, subts = [("a",SrcSpan {startLine = 1, startCol = 15, endLine = 1, endCol = 23}),("b",SrcSpan {startLine = 1, startCol = 50, endLine = 1, endCol = 66}),("f",SrcSpan {startLine = 1, startCol = 90, endLine = 1, endCol = 123}),("t",SrcSpan {startLine = 1, startCol = 29, endLine = 1, endCol = 41})], orig = "if a || (b) then t else f"}])]