Solved two problems related to ofsfsmtqe. Now we can:
Removed debugging output from vs_applyfn.
Added computation of models in form of (possibly negated) equations in
Renamed wrapper procedure vsnd_evalqff to qff_evalatp.
Removed unused variables in ofsf_qemkstdans.
Written AEX and ANU reordering procedures.
Fixed a kernel ordering-related bug in ofsfic_process!-coe.
work on first working prototype for SMT QE + a few fixes