Lowering for 'HIGH and 'LOW attributes
Lowering for procedures that wait