Add test cases for file Pragma.hs and related changes