public override float Score()
{
Debug.Assert(Score_Renamed != 0, CurrentMatched.ToString());
return (float)Score_Renamed * ((BooleanWeight)weight).Coord(CurrentMatched, ((BooleanWeight)weight).MaxCoord);
}