embedded: change the function representation of directly called witness methods
Context
StringRef::equals
operator==