I also searched for this answer. But it does not seem to be popular among the programming world. Therefore, not many people discuss this. I tried to use it, however I consider it a hassel to really think which contracts I should write while I program. However, this is good for debugging.
You tried? What do you think about it?
source share