Fix for #1430: empty in then/else

Make sure we consider sequential erasure