use stack.precomputation(this) to disable iterative analysis with OpcodeStack