A Python implementation of optimal experiment design for Church programs