external icsat_is_ite : prop -> bool = "icsat_is_ite"