Ignore redundant '-generateSpecTE' command-line parameters.
Ignore redundant '-generateSpecTE' command-line parameters.

[Bug][TLC]
lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus