small fixes to mul_inferred_{comb,pipe}