Additional unit tests for lowering