Add test cases for file LinePragma.hs