istar: Fix little bug in z3 encoding (commented part anyway)