Sets in Haff store Hypothesis pointers (fixed also some compiling issues).