Because we want to return something even if we cannot make it fully principled. The test case that was changed in this commit shows a case where inference was failing before but is now working.