Predicate signature Configs::StateConfigSig::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).