Probe operator <=(Probe other) { final result = _c._z3.probe_le(_probe, other._probe); return _c._getProbe(result); }