Adding two test cases for EF from two bug reports.