Add minisat clausify code