let compareExpDeepStripCasts (e1 : exp) (e2 : exp) : bool = compareExp (stripCastsDeepForPtrArith e1) (stripCastsDeepForPtrArith e2)