Doesn't horn test for satisfiability and in our exam tut letter, Qf will test on satisfiability. Hey. But I'm not sure. The DAG also tests for satisfiability.
I think that in principle anything might be asked. At least most of the marks are in the proofs ... Or I hope I'll be able say so on the day.
If you follow the exam tut "positively" you'll get a fair collection of stuff you must cover to tide you over. That's what I'm sticking to. I look at the rest as I pass through, but I'm focusing on the doable, and hoping to just survive.