hasCycles, isForest, isConnected, isTree