bug fix: determine value of softsusy::Z3 before using it