EF5 how do you hard cast a property inside an .Include now?

Question

Before upgrading to EF5 we could cast c.Progresses like shown below. Does someone know how I use this correctly now?

var case = caseRepository