@override Z3_ast build(Context c) { return c._z3.mk_divides( c._z3.mk_unsigned_int64(n, c._intSort), c._createAST(d), ); }