3.47 Aspect Refined_Post

This aspect is equivalent to pragma Refined_Post.