J.15 Aspect-related Pragmas

Pragmas can be used as an alternative to aspect_specifications to specify certain aspects.