Adds dummy arguments to LTL generators that take no arguments.
Adds PipelineClient
Removes comments in spec generation.
Use Pipeline client in debug_semantics.
Cleanup in text normalization.