let extend i e s =
  update s i (Solution.extend i e (eqs_of s i))