Implemented domain_graph property in Synthesis class.
Implemented domain_vertex method in DomainGraph class.
Extended the implementation of the syntheses method in the OpenReadingFrame class.