should propagate variables independently for multiple operations