Proto that crashes cp-sat presolver

model.proto

variables {
  name: "1|2010-01-01|-1"
  domain: 0
  domain: 1
}
variables {
  name: "1|2010-01-01|1"
  domain: 0
  domain: 1
}
variables {
  name: "1|2010-01-01|2"
  domain: 0
  domain: 1
}
variables {
  name: "1|2010-01-02|-1"
  domain: 0
  domain: 1
}
variables {
  name: "1|2010-01-02|1"
  domain: 0
  domain: 1
}
variables {
  name: "1|2010-01-02|2"
  domain: 0
  domain: 1
}
variables {
  name: "1|2010-01-03|-1"
  domain: 0
  domain: 1
}
variables {
  name: "worked|1|2010-01-02"
  domain: 1
  domain: 1
}
variables {
  name: "free_sat_from_fri"
  domain: 0
  domain: 1
}
variables {
  name: "free_weekend 2010-01-02"
  domain: 0
  domain: 1
}
constraints {
  linear {
    vars: 2
    vars: 1
    vars: 0
    coeffs: 1
    coeffs: 1
    coeffs: 1
    domain: 1
    domain: 1
  }
}
constraints {
  linear {
    vars: 5
    vars: 4
    vars: 3
    coeffs: 1
    coeffs: 1
    coeffs: 1
    domain: 1
    domain: 1
  }
}
constraints {
  linear {
    vars: 6
    coeffs: 1
    domain: 1
    domain: 1
  }
}
constraints {
  linear {
    vars: 4
    vars: 7
    coeffs: -1
    coeffs: 1
    domain: 0
    domain: 0
  }
}
constraints {
  enforcement_literal: 8
  bool_and {
    literals: -3
  }
}
constraints {
  enforcement_literal: -9
  bool_or {
    literals: 2
  }
}
constraints {
  enforcement_literal: 9
  bool_and {
    literals: 8
    literals: 3
    literals: 6
  }
}
constraints {
  enforcement_literal: -10
  bool_or {
    literals: -9
    literals: -4
    literals: -7
  }
}
constraints {
  bool_or {
    literals: 9
  }
}