Predicate neverSkipInPathGraph
Since our model is so simple, we dont want to compress the local flow steps. This compression is normally done to not show SSA steps, casts, etc.
Import path
import codeql.actions.dataflow.internal.DataFlowPrivatepredicate neverSkipInPathGraph(Node node)