Fix printing edges bug in ctx_coverage.c