Recognizes type equivalence accross MOVE instructions
Moves of uninitialized THIS left uninstrumented
Merge branch 'master' of github.com:davidbrazdil/dexter