improve example arguments for aig2qbf