Probabilistic and Causal Satisfiability: Constraining the Model