Propagating constants to arguments can make other arguments constant. For now