Change the way a loop is handled in the score to take the mean not the maximum

[swoodhouse]

There is no mean operation in CUDD but this should be as easy as replacing max(x, y) with (x + y) / constant(2) in scoreLoop