Add test/SSATest.hs
Fix bug on extenv