Add an assumption to infer_d_complete and remova a cheat.