Changed inclusion guard name in hypothesis.h