Raise error if targeting junctions without a coverage overwrite

[RomeshA]

Around line 1890 of model.py where it checks that any programs without a coverage denominator have a coverage overwrite, programs that target at least one junction should also be included