ExtendedLocalCoverage.jl - Alberto Mengali