merge fix about uniqueness of Singleton pattern instantiations
merge fix about uniqueness of Singleton pattern instantiations

plum-umd/pasket,plum-umd/pasket,plum-umd/pasket,plum-umd/pasket,plum-umd/pasket