Algorithm 3From: Infrared: a declarative tree decomposition-powered framework for bioinformaticsStochastic traceback: samplingBack to article page