conjunction: specialize for idempotent semirings
See the report 1401 of Valentin Tolmer, in particular the tables in Section 3.5.1: there is speed to gain if we accept redundant paths that do not change the result (which is the case in idempotent semirings).
Of course, this should be check against real world cases, such as sms2fr.