Fix a bug: While initializing a clone graph it should not be cloned again, otherwise the equiv doesn't work.