Class SymbolicValue.ExceptionalSymbolicValue