QBF as an Alternative to Courcelle's Theorem