Simple example
Swap order of formal parameters
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)