Zaslat SMS: Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories