fix the posteriors -> implemented in Log Semiring