[LAA] Try to prove non-wrapping of pointers if SCEV cannot