ance.overridden_proc_name" class="anchored"><td class="def field"><a href="#type-err_instance.overridden_proc_name" class="anchor"></a><code>overridden_proc_name : <a href="../../IR/Procname/Java/index.html#type-t">IR.Procname.Java.t</a>;</code></td></tr></table><code>}</code></td></tr><tr id="type-err_instance.Field_not_initialized" class="anchored"><td class="def constructor"><a href="#type-err_instance.Field_not_initialized" class="anchor"></a><code>| </code><code><span class="constructor">Field_not_init