let
ltl2ba_params =
" -l -p -o "