Class VoidVariableChecker