extrapolate-0.3.3: tests/model/eg/overflow8.out
*** Failed! Falsifiable (after 896 tests): T [-1] [-128] Conditional Generalization: T ((-1):xs) ((-128):xs) when 0 == sum xs
*** Failed! Falsifiable (after 896 tests): T [-1] [-128] Conditional Generalization: T ((-1):xs) ((-128):xs) when 0 == sum xs