API to check which modeling features are used.

[koehlma]

Implement an API to check which modeling features are used.

There should be a way to determine whether a model uses a particular feature such as value passing or functions. This is especially relevant when using Momba to translate fragments of JANI into other model formats. Such translation tools should be able to check that no unsupported features outside of the JANI fragment are used.

Implementation

This seems to be best implemented as a method or property on the modeling context.