Setting static field Variable.NONE to final
Should not throw an Exception when DefUseAnalyzer executes unreachable code