let collect_signature label varinfo fvar (variables,closures) =
    fvar :: variables , (varinfo,label) :: closures