made a real class to wrap Z3