Add formula for ltl2ba
ltl2ba: add 1.2b1 bottle.