One more test case for desugaring bminus