icse14: Fix instance project due to z3 changes