Function help_debug_goal_term

fn help_debug_goal_term<'tcx, 'ctx>(
    ctx: &'ctx Context,
    goal: &'ctx Goal<'ctx>,
    bidx: usize,
)