More configuration of followX functions

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/query/FlowQueries.kt

@@ -234,6 +234,7 @@ fun executionPath(
 ): QueryTree<Boolean> {
     val collectFailedPaths = type == Must
     val findAllPossiblePaths = type == Must
+    val stopAfterHit = type == May
     val earlyTermination = { n: Node, _: Context -> earlyTermination?.let { it(n) } == true }
 
     val evalRes =
@@ -247,6 +248,7 @@ fun executionPath(
                     startNode.followEOGEdgesUntilHit(
                         collectFailedPaths = collectFailedPaths,
                         findAllPossiblePaths = findAllPossiblePaths,
+                        stopAfterHit = stopAfterHit,
                         direction = direction,
                         sensitivities = FilterUnreachableEOG + ContextSensitive,
                         scope = scope,

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/query/QueryTree.kt

@@ -111,6 +111,7 @@ open class QueryTree<T>(
 
             // Update the ID whenever the value changes
             id = computeId()
+            checkForSuppression()
         }
 
     /** The value of the [QueryTree] is the result of the query evaluation. */