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