Add test cases for file SCCPragmas.hs.