Add operations to find detailed errors in constellations
Add operation for alpha equivalence