test no cyclics