Add tests on Empty stack resolution