new semantics check: acycle inheritance graph.