Fix bug in RSE pullup.
Fix RSE bug w/ notin + code blocks.

We still don't do reclamation for such notins, but we now at least avoid doing
unsafe things -- i.e., the previous coding just ignored such notins entirely,
which resulted in incorrect analysis results.