Added ValueAssigner and ValueEliminator.