@< path("{{TEST_DRIVER_NAME}}") >@ {# FILENAME = pipeline.stdin.tpl #}
{{symbol}}
{{lattice}}
@< MODELNAME >@