val quantifier: PathQuantifier
Specifies the condition for selecting paths originating in the inspected state.