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