Ctc: fix bug check_nb_var_ctc_list + minor fix for CtcInteger