This put the onus on the caller to ensure the result type is big enough. In the unlikely event a cropped result is required then explicitly truncate a safe value.
SignedLPred
isImpliedByMatchingCmp
{s,u}{add,sub}_sat
isGuaranteedNotToBeUndefOrPoison