Add pointer assertions