I'm not sure that changing mayBeOverriden() to mayBeResolved() everywhere is fine. E.g. change to getUnderlyingObject() might not be correct. Ditto for SCEV / Inliner changes. http://llvm-reviews.chandlerc.com/D606