Add test case executionStack004.hs

Probably not done yet, want to check some more behavior