Created functions to instiate TypeGraphs and the interface graph of the rules
Created functions to instiate TypeGraphs and the interface graph of the rules

Verites/verigraph,Verites/verigraph,Verites/verigraph