Member predicate ValueSpec::initializes
Holds if this specifier initializes name to the value of init.
predicate initializes(string name, Expr init)Holds if this specifier initializes name to the value of init.
predicate initializes(string name, Expr init)