How To Empower Your Audits and Analyze Smart Contracts Using YAML Templates