Added K-equivalent graph testing