value flow: better handling of conditional code below || && ?: operators