Add tests for const and pointer AAs