visitor && spec for FunctionReturnsValuesOfDifferentType
VariableReferencedBeforeAssignment spec
DoNotCompareWithNaN, RemoveUnreachableCode, UselessComparisonToTypeof specs