Simple example
						• It’s not a local change nor a syntactic change • It requires semantic knowledge about the programming language • Griswold uses a variant of the sequence-congruence theorem [Yang] for equivalence – Based on PDGs (program dependence graphs) • It’s an O(1) tool – The user touches only one place
	• Swap order of formal parameters