Partition Memory Models for Program Analysis