3.13 Aspect Effective_Reads

This aspect is equivalent to pragma Effective_Reads.