corrected bug when recomposing from partial interpolant (fold_left -> fold_right)
corrected bug when recomposing from partial interpolant (fold_left -> fold_right)

dzufferey/csisat,dzufferey/csisat,dzufferey/csisat