let dummy_t_project = { name = ""; application = Project_skeleton.dummy; functions = Varinfo.Hashtbl.create 0; actions = [] }