let is_fully_uninterp i = (i = u)