Init: explores assignment to an undeclared variable.
Init: explores the scope of `static` in a declaration