handle {init, _} in bug pretty printer