Add ability to propagate back through phi nodes