Log_semiring loading ...