Added FD.count propagator to FD.oz.