Refine test
Cleanup
Fix check procedure
Test: make sure it fails when it should