main spre entry point is Perform_SPRE_optimization. calls:
Propagate_downsafeSPRE_compute_backward_attributes- which just forwards to
Compute_forward_attributes.
- which just forwards to
SPRE_compute_insert_deleteSPRE_perform_insert_delete
[]( vim: set syntax=markdown textwidth=80 tabstop=2 shiftwidth=2: )