Fix Svace issue (SIGNED_TO_BIGGER_UNSIGNED)