Implement visitor deriving callee functions in advance. If the SubExpr is changed then the ImplicitCast is invalid. Create more tests.