def choose_int(g1, g2):
 (v1, c1) = g1
 (v2, c2) = g2
 if (v1 == v2):
  return (v1, (1 - ((1 - c1) * (1 - c2))))
 elif (c1 > c2):
  return (v1, (c1 - c2))
 else:
  return (v2, (c2 - c1))

def choose_int ( g1 , g2 ) : ( v1 , c1 ) = g1 ( v2 , c2 ) = g2 if ( v1 == v2 ) : return ( v1 , ( 1 - ( ( 1 - c1 ) * ( 1 - c2 ) ) ) ) elif ( c1 > c2 ) : return ( v1 , ( c1 - c2 ) ) else : return ( v2 , ( c2 - c1 ) )
function used by merge_similar_guesses to choose between 2 possible properties when they are integers .