Symbol: check_consistent_ind_indrules