Refactor the test program on index page
More type checking fixes
Add check for unused variable assignment statements, updated test cases
Start to refactor the way unused variables are handled