F-CAT run for Pointer Promise