Split an array translation into two pieces
Merge branch 'master' into function

Conflicts:
	jkind/src/jkind/translation/compound/FlattenCompoundTypes.java