Adding the QBF solver and the White language verifier