bfs_diff -L loops -noerror