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