let ltl2ba_params = " -l -p -o "