Added QBF automaton builder.