The semantic check module.

This module is responsible for all the necessary semantic checks on the model, e.g., the absence of circular definitions [47].