C#: Narrow source model generation.

[michaelnebel]

In this PR we further narrow the C# source model generation to exclude all callables that overrides or implements something else. This is because we need to "limit" the number of generated sources models that could be used during dynamic dispatch (to avoid getting to many false positive/speculative results).