Need to get Features and kind of FlowSpecificationInstance

[AaronGreenhouse]

For the Bell–La Padula analysis, I need to manipulate flow specs. I am interesting in testing if the flow is a path specification, and if so, getting the source and destination features.