fixed tests: ltl2ba
fix one test + removed requirement of cutoff argument
fixed other tests: now all the tests should pass