Implement additional validations and quickfixes

Validations:
- unused variables
- double variable declaration

Quickfix:
- remove variable