How to check if two methods match signature via roslyn?

Question

I\'m trying to write an analyzer that checks if a method is implementing an interface method (implicitly), which is easily missed if an interface is providing default implementa