fail invoke_bfs basic \( -print