Added method invocation filtering and disambiguation.
Added reference widening and narrowing.