Changed HyperGraph to RfsmGraph