Maybe what it needs is a testing framework - Σωκράτης (Socrates), that will demonstrate to you that everything you thought you knew about how your programme would behave (or the thought underpinning it) was at best problematic, or at worst just plain wrong!