The CSE already sort of does this, but only covers block-local CheckExecutable redundancy. We could do this either by having AbstractValue track Executable's, or by having a dedicated phase for simplifying closure calls.