Member predicate PathSummary::isLevel

Holds if the path represented by this summary contains no unmatched call or return steps.