Execution::RecomputePropagate Member List