Teach the z3 bidder about preconditions.  Teach it how to actually respond to partner.  Add a new concept of "History" to replace the kbb's Knowledge object.  Fix confusion between z3.Bool and z3.BoolVal.