Я пишу (очень маленький) фреймворк для проверки предварительных и постусловий методов. Точки входа...