It's an interesting strategy to index a method without considering its parameters (& types). On the one side, it makes the traversing logic much much simpler (and cleaner) because you don't have to carefully handle cases such as partial method applications. On the other hand, you risk to have (many?) false positive. (Just sharing my thoughts here ... :))