The need for procedures like that is ridiculous. Why should you have to expensively prove beyond a shadow of a doubt that your code doesn't infringe?