Renamed UGraph class to Graph in tlap-misc