* src/bin/ltlcheck.cc (translator_runner::formula): New function. (processor::process_formula): Use it.