Minor fixes

One bug fix in SootMethodRefImpl dealing with creation of phantom methods.
One type improvement in MHGDominatorsFinder