DefaultAllVariablesFilter: SlicingCriteriaFilter = ...