Compiling Stochastic Constraint Programs to And-Or Decision Diagrams