Lowering for simple procedures