Implement predicate propagation for non-equivalence clauses.

When Who What
2019-02-03 10:05:14 Andres Freund (andresfreund) Closed in commitfest 2019-01 with status: Returned with feedback
2018-12-01 11:31:56 Dmitry Dolgov (erthalion) New status: Waiting on Author
2018-12-01 11:31:47 Dmitry Dolgov (erthalion) Closed in commitfest 2018-11 with status: Moved to next CF
2018-12-01 11:31:43 Dmitry Dolgov (erthalion) New status: Needs review
2018-11-22 16:31:12 Alexander Kuzmenkov (akuzmenkov) New status: Waiting on Author
2018-11-22 16:31:06 Alexander Kuzmenkov (akuzmenkov) Added akuzmenkov as reviewer
2018-09-27 06:28:17 Richard Guo (richardguo) Changed authors to Richard Guo (richardguo)
2018-09-27 06:24:08 Richard Guo (richardguo) Attached mail thread CAN_9JTykHxHqzUFiDNrXDO+u+uq9v9Ewcb=hVDAbDb33eoL7Yw@mail.gmail.com
2018-09-27 06:24:08 Richard Guo (richardguo) Created patch record