Member predicate MultiAssignmentDefinition::indexOf
Holds if this has (zero-based) index index in lhs.
predicate indexOf(int index, SequenceNode lhs)Holds if this has (zero-based) index index in lhs.
predicate indexOf(int index, SequenceNode lhs)