let combine assig1 assig2 =
   fun model -> assig1 (assig2 model)