- Fixed inheritances and realizations to implement the tracing visitor.