Add test for uint and negative literals as discriminants