we have that |in(m)| = |in(n)| and the scopes of their children are pairwise identical: ∀i ∈
{1, ...,|in(m)|}, φ(cmi) = φ(cni), where cmi and cni are the ith child unit of m and n.
LOSSLESS COMPRESSION WITH PROBABILISTIC CIRCUITS