add example for sum-prod-inference (still in progress)