Check if a method is invoked inside another method in all execution paths by Roslyn

Question

Using Roslyn, how can I check the body of a method to determine whether another method is always invoked before returning? For example, in an OWIN middleware, I want to check if