add type check of reFalse_ind