added new support for optimizer
provided ClassHierachyStore for Verifier