*** Failed! Falsifiable (after 896 tests):
T [-1] [-128]

Conditional Generalization:
T ((-1):xs) ((-128):xs)  when  0 == sum xs