Make let/app invariant preservation check conservative rather than panicking

Fixes #17603 (closed).

It's a one line change to make the check use the saner predicate that handles this particular edge case for us already.