It's often better to try separate each return path and figure out the
implications of each. The problem is that if it's a big function with a
lot of states and there are a bunch of return paths then sometimes it's
thousands of states and it's just too much information to print. In those
cases we just bail out.

But if we're not printing information then it doesn't take too much time to
separate the states.