class Z3::Exception