3.48 Aspect Refined_Post

This aspect is equivalent to pragma Refined_Post.