Refactorings + Analysis: static-invoke, this-invoke, base-invoke