Member predicate Variable::hasInitializer

Holds if this variable has an initializer.

predicate hasInitializer()