Option name changed in Z3