Clausified some of the smt2 problems

[pruemmer]

I just ran Eld on the incorrect benchmarks to obtain properly clausified versions, provided in the directories

• smt2/clausified
• smt2/quant/clausified-no-arrays