Add some more unit tests for the `[]/1` control construct