redeclaration
checking variable's initializer value
array tests
checking function redefinition