left is_nil true/false

This predicate matches if the left is nil when the right is true or if the left is not nil when the right is false