added FindUnusedVariableCheck
introduced traverse method, added identifierNode
added FindUnusedVariableCheck
added UpdateExpressionNode
fixed FindUnusedVariablesCheck to just raise an error, if variable isn't found
introduced getVialotions method
fixed AstAnalysisTest
added type to violation object
extended find unused variable check
extended tests
removed unnecessary else block
added unused parameter check