Member predicate Opcode::UnmodeledDefinition::toString

string toString()