Augmented iterator hierarchy test with restrict and const pointer checks