acyclic check
acyclic check