Add encoding for MPI-style concurrency

Only the synchronous MPI calls are currently considered.