An internal version of pabble extractor which extract parameterised protocol from standard MPI-C program