Added support for widening
Merge branch 'temp'

Conflicts:
	src/ch/ethz/sae/Analysis.java