getAssociatedSpecificationComments

This field is used by key to associated (JML) comments to this node.