Function should_recurse 

fn should_recurse<'tcx>(tcx: TyCtxt<'tcx>, callee: Instance<'tcx>) -> bool