Predicate signature ModelExportSig::shouldContain

Holds if the exported model should contain node, if it is publicly accessible.

This ensures that all ways to access node will be exported in type models.