option -WALL added to ImpVerify.hs