Update test cases for EmptyContext.hs
Add file EmptyContext.hs to test list
Update test cases and related fix for ListComp1.hs