Holds if this ‘goto’ statement refers to a label.
predicate
hasName
(
)