Merge 'array-abstraction'
This branch contains a simple program transformation for loops over arrays, and a utility class for deep-copying and mutating the CFA (on new instances).
This branch contains a simple program transformation for loops over arrays, and a utility class for deep-copying and mutating the CFA (on new instances).