Практически говоря, нет, это невозможно с отражением. Отражение в первую очередь направлено на предоставление информации о проверке метаданных во время выполнения. То, что вы просите, - это фактическая информация о проверке кода.
Я считаю, что можно получить фактические байты, представляющие IL для метода во время выполнения. Однако это будет просто массив байтов. Вам придется вручную интерпретировать это в кодах операций IL и использовать это, чтобы определить, какие методы были вызваны. Это почти наверняка не то, что вы ищете.
Однако можно использовать лямбду дерева выражений и проанализировать ее для вызовов методов. Однако это не может быть сделано на любом произвольном лямбда-выражении. Это должно быть сделано лямбда-выражением дерева выражений.
http://msdn.microsoft.com/en-us/library/bb397951.aspx