CIF annotation type check and pretty printing sometimes uses wrong scoping
Problem:
- Currently, the annotations of automata, groups, automaton definitions and group definitions are checked within these component (definitions) themselves, while the scope for resolving references in the values should be their parents. And similarly for function parameters, the scope should be the parent of the function, not the function itself.
- The pretty printer also assumes the wrong scope, when determining the right reference texts.
- And
CifScopeUtils
may need to be adapted as well.
This issue is part of the larger effort of adding annotations, in #593 (closed).
Once we're done with this issue, we should also check what else is affected, such as types of algebraic parameters.
Edited by Dennis Hendriks