שליחה במסרון: Symbolic causal inference via operations on probabilistic circuits