Solver change: make ECompat edges between arrays pointed to by ECast pointers. Handles test-bad/index1.
Solver change: make ECompat edges between arrays pointed to by ECast
pointers. Handles test-bad/index1.

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c