Add QF UF hierarchy tests from SMT lib
Add script to run QF_UF tests and compare with file known status.
Remove bak file.