Proper cycle detection -- only cycles are disallowed, not non-trees.