Oh, it doesn't check for `FLAVOR_ONINFER`. Is that intended?