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