Provide a nullness operator for the output of the lower-bound rule.
Provide a nullness operator for the output of the lower-bound rule.

Then, to counteract that complexity, split the conditions for that rule
into sub-bullets.

jspecify/jspecify