3.14 Aspect Effective_Writes

This aspect is equivalent to pragma Effective_Writes.