able to generate a seems OK SDFG for pmerge test case