let
filterStmt pred next =
X
.is_accessible pred
&&
filterIf pred next