This function is currently never used, so we can remove it. I mostly have it in there so we can think about whether we want to include this information in the future. This version of the code is converted from C, and it is quite slow (and I'm not sure how to check for equivalence anyway).