[print Hypo counter
martin.hofmann@uni-bamberg.de**20090527154031] hunk ./src/Data/HypoSpace.hs 215
+                        text "Total Hypos:"     <+> int (hypoCounter hsp) <$>