redefine IsConnectedGraph