no need for @all_users and @all_leaves to be initialized here. Remove