((reduce_action)act).reduce_with().note_reduction_use();
((reduce_action)act).reduce_with().note_reduction_use();
((reduce_action)act).reduce_with().note_reduction_use();
((reduce_action)act).reduce_with().note_reduction_use();
((reduce_action)act).reduce_with().note_reduction_use();
((reduce_action)act).reduce_with().note_reduction_use();
((reduce_action)act).reduce_with().note_reduction_use();