EF abstractization is hard