Hey there, Thanks for this great lib. Is there anyway to have details about condition failure. I would like to know precisely which fact is failing in a large set.