fixbfs_find_sexp_bug