changed the meaning of execute, now it is value propagation