let subst sigma { vars = vs; array = ar } = let nar = ArrayAtom.apply_subst sigma ar in { vars = List.map (Variable.subst sigma) vs; litterals = ArrayAtom.to_satom nar; array = nar; }