Add pointer assertation type