temporarily revert the migration of hltFilter() to a const method