Member predicate PathSummary::isLevel
Holds if the path represented by this summary contains no unmatched call or return steps.
predicate isLevel()
Holds if the path represented by this summary contains no unmatched call or return steps.
predicate isLevel()