Class find_embedding::BadInitializationException

class BadInitializationException : public find_embedding::MinorMinerException