add createMap to subsitute Map in alloc.k
solve some problem with left hand side matching rules