[Feature] Print/Show plain formula instead of its spec location when system property "-Dtla2sany.semantic.SemanticNode.showPlainFormulae=true" set.
[Feature] Print/Show plain formula instead of its spec location when
system property
"-Dtla2sany.semantic.SemanticNode.showPlainFormulae=true" set.

This feature breaks the Toolbox parser which only accepts locations as
input. Thus, this feature is only useful in standalone TLC and primarily
meant as an aid in development. It should not be added to TLC's
documentation.
tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus