Transform.{PartRedElim, PartDeadAsn}, Analyses.{AvailExpr, VeryBusyExpr, DelayableAsn}
solution for exercise 8.2