Predicate signature MakeImpl::FullStateConfigSig::isBarrier

Holds if data flow through node is prohibited. This completely removes node from the data flow graph.