let spline_len = saturations_for_c1 + saturations_for_c2 in
let c = mk_lambda_spline c (namer (names_c1 @ names_c2)) spline_len in
debug_print (lazy ("COMPOSTA: " ^ CicPp.ppterm c));
let spline_len = saturations_for_c1 + saturations_for_c2 in
let c = mk_lambda_spline c (namer (names_c1 @ names_c2)) spline_len in
debug_print (lazy ("COMPOSTA: " ^ CicPp.ppterm c));