possible progress on let generalisation case of infer_d_complete