fix an error with disjunction ltls. (final_value to False