Add test for VM_Linker; Add test for SharedVariable with/without updates; Simplify codes and delete extra line.

Add assertion in map_storage to assert storage given by input/output_storage and storage_map is the same.

Add ```storage_map```argument for Profile_Maker;CLinker new support ```storage_map```(without testing)

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

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