Predicate signature GraphExportSig::shouldContain

Holds if the exported graph should contain node, if it is reachable from an exposed node.

This ensures that all paths leading from an exposed node to node will be exported.