A utility that can take any two choreographies and show congruance. For example if I have just a high level cdl description (only the ordered sub choreos) I can run the utility and show that a fuller choreo is an implementation of the high level choreo.