Predicate nodeIsHidden
Holds if n should be hidden from path explanations.
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPrivatepredicate nodeIsHidden(Node n)Holds if n should be hidden from path explanations.
import semmle.code.csharp.dataflow.internal.DataFlowPrivatepredicate nodeIsHidden(Node n)