For navigations in the generated code has to define some
variables.
In CoSy-fSDL-mode,
sometimes their types are not known when the user compiles a generated
file.
This is the case for SET_<NodeType>, if the
functor application SET(<NodeType>) does not appear in the
CCMIR nor in view specifications.
However, the generated file requires this type, because
sets of NodeType are constructed during the navigations.
The solution is that the user has to instruct fsdc to generate the
domain with a CoSy-fSDL use SET(<NodeType>)-clause.
Alternatively in some operator a dummy definition for
SET(mirBasicBlock) can be introduced so that the fsdc generates
this type as a result of this functor call.