Analyses:
  B  Bindings
  T  Types + constant evaluation (for kinds and array dimensions)
  F  Flow analysis (control flow + du-chains)
  A  Array dependence

Convert Fixed to Free Form
Canonicalize Keyword Capitalization

(B)
Rename
Introduce Implicit None
Canonicalize Identifier Capitalization
Canonicalize Common Block
Replace Common Block with Module

(B, T)
Extract Local Variable
Extract Constant

(B, T, F)
Extract Subprogram

(A)
Interchange Loops
Expand Scalar
Peel Loop
Skew Loop
Privatize Scalar
Privatize Array
Distribute Loop
Align
Fuse Loops
Reverse Loop
Strip Mine
Unroll and Jam
Block Loops

(????)
AOS-to-SOA
Inline Subprogram
Expand Array Assignment