Value cases with non-literal values are also distinct