private ConvergenceSpec(ConvergenceSpecConfig config) : base(config) { _config = config; MuteMarkingAsUnreachable(); }