fix a bug of propagating locals because of not considering propagating the parameters as roots of local access paths encoded in the constraints of an local --> alloc edge which we would like not to propagate