added flexibility for not specifying z3 with -noesc turned on.