Start implementing TemplateInstantiator: compute parameters usage.