Added test on restrict pointers in is_pointing_to