better error handling in eld-client (correct return code); return sat/unsat when processing SMT-LIB problems; return unknown if incomplete array/quantifier encodings are used