NullnessPropagator, documentation
DeadStoreElim renamed to DeadStoreElimPrim
NullnessPropagator, bug fix
dead-store elimination, references aware