Add formula for ltl2ba