cfg of method after various bytecode permutations and dead code elimination. note the use of MultiplyInt for instance