Implicit globals now declared in the correct scope
Sol now warns about unused variables