[liuxia] Add operator overload fact.