changed handling of winning conditions - as one bdd not as three separately