updated evaluation bdd - includes winning condition for white and
not-winning condition for black