Removing and restoring control flow with the Value State Dependence Graph