A function(x') is not called that we thought If there is following conditions.
- A protocol(A) is defined a function(x).
- A has implement of x in the protocol extension.
- A class(B) is implement A, but doesn't have implement x.
- A subclass(C) is inheritance B, and have implement x(x').
- A instance of C typed A, and call x.