Migrate ObjectFinalizeOverridenCallsSuperFinalizeCheck to Syntax Tree