Match_map.BuildBuild.f: Given the ID of a matching, build the representative matching map
val f :
Gillian.Logging.Report_id.t ->
Engine.Matcher.match_kind * Debugger_utils__.Match_map_intf.Types.mapGiven the ID of a matching, build the representative matching map