external icsat_is_or : prop -> bool = "icsat_is_or"