1) fix sharing in ps graph theory
2) fix some the lifting function which transfer a graph-data to a graph
	Note that - Direct is no longer a type in Graph. It has been defined as a globe one
			- the Graph  signature has been updated  quanto now. DO NOT use the Graph in the isalib, only use the constructed one. i.e., Theory.Graph