save_tc_inequality
bufptr = save_tc_inequality(bufptr, c1, c2);
bufptr = save_tc_inequality(bufptr, c1, ch2);
bufptr = save_tc_inequality(bufptr, ch1, c2);
bufptr = save_tc_inequality(bufptr, ch1, ch2);