Added more tests for the L4 compiler