tree-vrp.c (extract_range_from_binary_expr): Remove TRUTH-binary cases and add new...