AND definitions have to be acyclic