external icsat_mk_xor : prop -> prop -> prop = "icsat_mk_xor"