RapidShapes computes a thermodynamic matcher (TDM), using a runtime heuristic for probabilistic shape analysis.