Predicate signature Configs::StateConfigSig::isBarrier

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