[Eva] Fixes split-return to not remove states when the result evaluates to bottom.

This can happen when copy of indeterminate bits are allowed, and the result
is uninitialized or escaping.