fix for adding result variable in z3Only mode