-- | Retrieves the template of an unfolding: panics if none is known
unfoldingTemplate :: Unfolding -> CoreExpr
unfoldingTemplate = uf_tmpl
unfoldingTemplate :: Unfolding -> CoreExpr
unfoldingTemplate = uf_tmpl
unfoldingTemplate = uf_tmpl