cleanup
Fix found end condition coverage bugs and improve coverage reached message