value flow: improved error message output for conditional division by zero