Predicate signature MakeImpl::FullStateConfigSig::allowImplicitRead

Holds if an arbitrary number of implicit read steps of content c may be taken at node.