Acacia+ snapshot with additional ltl2aig script