Zaslat SMS: Symbolic causal inference via operations on probabilistic circuits