Started with the implementation of the check whether two regions in conjunctive diagrams are corresponding.