remove testcase
change for in combinator into fold
add alternative Liveness definition