semant.cc: Finished inheritance cycle check.