Issue 13001 - Add VRP support for ternary operator ?:

https://issues.dlang.org/show_bug.cgi?id=13001