Indicate why SpecProcessor swallows an exception when it processes constant definitions.
Indicate why SpecProcessor swallows an exception when it processes
constant definitions.

[Documentation]
tlaplus/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus