Code review comment for lp://qastaging/~jamesh/storm/bug-349482

Nice improvements! Thank you!

James, I recall something about this change being motivated by an actual failing expression. Is it easy to reproduce this case in a test just so that we ensure this case won't ever come back again?

+1!