WYCS: working on the lowering stage.