Add BFS2 which implements N-N correspondence.