added polymorphism and test pass
printing dominators from licm