It is essential to detect functional differences in various software engineering tasks, such as
automated program repair, mutation testing, and code refactoring. The problem of detecting …