dropModule instead of deprecated stripModuleSuffix
Level 1 intra-method optimiz: ConstantFolder

Intra-method optimizations are performed until a fixpoint is reached.

Constant folding comprises:
  - loads that can be expressed as shorthand (e.g. ICONST_1)
  - binary operations with constant result are left in place,
    but a DROP and a load of the constant-result are inserted
    rigth after them. Successive iterations of the fixpoint will
    reduce code to its final form.
  - conditional jumps, as well as lookup and table switches
    are simplified when their operand is constant.
Level 1 intra-method optimiz: NullnessPropagator

Intra-method optimizations are performed until a fixpoint is reached.

Nullness propagation comprises:
  - simplify control-flow when a conditional jump
    will always be taken or avoided
  - simplify an ALOAD for a local-var known to contain null
  - Scala unbox of null is replaced by a zero load
    of the appropriate sort (I, L, F, or D).
Level 1 intra-method optimiz: Copy propagation

Intra-method optimizations are performed until a fixpoint is reached.

"Copy propagation" replaces the last link in a chain of data accesses
by a direct access to the chain-start.

A "chain of data accesses" refers to a assignments of the form shown below,
without any intervening rewriting of v, v1, v2, ..., v9:

      v1 =  v
       ...
      v2 = v1
       ...
      v9 = v8

After CopyPropagator.transform has run,
`LOAD v9` has been replaced with `LOAD v`.
Similarly for `LOAD v1` to `LOAD v8`.

Other than that, this method changes nothing else:
in particular STORE v1` to `STORE v9` are left as-is.
Removing dead-stores is the job of `DeadStoreElim`.
Level 1 intra-method optimiz: Dead Store Elimination
Level 1 intra-method optimiz: PushPopCollapser
Level 1 intra-method optimiz: JumpReducer
Level 1 intra-method optimiz: Type-Flow Analysis
Level 1 intra-method optimiz: cancel out box-unbox pairs
Level 1 intra-method optimiz: compacting method-local vars

"Compacting" of non-param local-vars involves:
   - detecting gaps in the index sequence, followed by
   - re-numbering that shifts indexes to close the gaps.

As already hinted, "compacting" excludes parameters.
Also, a local-var that at least gets initialized won't be removed.
intra-method optimizations activated by default