fixed bug with minisat on linux; added wellformedness check cond2