Static Local Concurrency Errors Detection in MPI-RMA Programs