fn help_debug_goal_stmt<'tcx, 'z3>( z3_ctx: &'z3 Context, goal: &'z3 Goal<'z3>, bidx: usize, sidx: usize, )