Module is_arborescence

Source