Propagate states across factored edges mid member-instruction