Add test cases for file Bug.hs
Add test cases for file NestedAsPat.hs