Как генерировать свойства навигации с помощью генератора EntityFramework Reverse POCO?

Ранее я использовал EF Power Tools, который включал опцию ReverseEngineerCodeFirst, а в процессе переключения на EntityFramework обратный генератор POCO.

Реализация:

        using (var db = new DbContext())

        {

            var user = db.Users

                .Include("MembershipType")

                .FirstOrDefault(u => u.UserName == userName);

            . . .

        }

Используя генератор POCO, я теперь получаю ошибку в строке .Include(...):

'Система.Данные.Сущность.IDbSet' не содержит определения для
'Включить', а не метод расширения 'включить', принимающий первый аргумент
типа - Система.Данные.Сущность.IDbSet ' может быть найден (вы
отсутствует директива using или ссылка на сборку?)

В созданном контексте (и IContext):

    DbSet<User> Users { get; set; } // Users

В шаблоне context tt я изменил экземпляры IDbSet на DbSet, что исправило проблему, но мне любопытно, почему, если IDbSet является интерфейсом для DbSet, Почему IDbSet не работает?