disco-0.2: test/prop-holds/expected

T
T
T
F
F
T
T