MemRegions as ProgramState info (was: checkBind: distinguish between MemRegionVal/ElementRegion)

Yes, you’re right. Maybe I was too focused on using the ProgramState.

Many thanks, Jordan.