pointers: add precise type predicates for C code pointer call operation.
pointers: add precise type predicates for C code pointer call operation.

mario-campos/clay,iamrekcah/clay,iamrekcah/clay,jckarter/clay,iamrekcah/clay,aep/clay,mario-campos/clay,jckarter/clay,aep/clay,mario-campos/clay,jckarter/clay,jckarter/clay,aep/clay,mario-campos/clay,iamrekcah/clay,aep/clay,iamrekcah/clay,aep/clay,jckarter/clay,jckarter/clay,aep/clay,mario-campos/clay