Curry_tree loading ...