Member predicate Variable :: hasInitializer
Holds if this variable has an initializer.
predicate
hasInitializer
(
)