We have a bug in our application that does not occur every time and therefore we don\'t know its \"logic\". I don\'t even get it reproduced in 100 times today.
Disclaime
Add pre and post condition check in methods related to this bug.
You may have a look at Design by contract