Add template for specification analysis.