Reviewed-by: kvn

Summary: propagate node replacements along control flow edges to callers
Reviewed-by: kvn, vlivanov