refute changed to assert in testcases 2..4

tests 2..4 fail even with right output because of refute