def BM_elements(predicate, expr, assumptions):
    return all(ask(predicate(b), assumptions) for b in expr.blocks)
Test for 'rm -r' of a folder with a dir_$folder$ marker.
dataset/ETHPy150Open sympy/sympy/sympy/assumptions/handlers/matrices.py/BM_elements--crossover with--dataset/ETHPy150Open GoogleCloudPlatform/gsutil/gslib/tests/test_rm.py/TestRm.test_folder_objects_deleted_with_wildcard