CRISv10: remove redundant tests on unsigned