RMA-STATIC: Add the feature that allows to detect data races at target side from origin point of view
Add the feature that allows to detect data races at target side from origin point of view in the static analysis of data races in MPI-RMA programs.