The node you are looking for is at Non_SPARK_Attributes.