Here's my proposed patch.
Idle thought: how about renaming the "constfalse" argument and variables
to "contradictory" or maybe just "contradict"?
--
Álvaro Herrera https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services