Debugging on weak models reveals more bugs