self.acyclicity-verification works
more tests