Implement knowledge in BasicAA that &A->field != &A and (P+1) != P