Rename MAYBE-CLOSES-OVER-P -> MAYBE-CLOSES-P, document its problems.