[ckrause]

There interpreter does not allow cyclic dependencies and the miner won't generate any. There is a difference between "optimization" (static code analysis) and "minimization" (brute-force removal of operations as long as the result is the same).