let is (sym, _) = 
    match sym with
      | Uninterp _ -> true 
      | _ -> false