/cvs/fptools/ghc/tests/specialise/clausify001
