Predicate signature MakeImpl::FullStateConfigSig::includeHiddenNodes
Holds if hidden nodes should be included in the data flow graph.
This feature should only be used for debugging or when the data flow graph
is not visualized (as it is in a path-problem
query).
signature predicate includeHiddenNodes()