[ debug ] Fix contexts in reportSDoc in Coverage.fixTarget.
[ refactor ] some code in Coverage.fixTarget.
[ Issue 1294 ] Fixed by resetting scSubst in case of splitResult.
[ Issue 1294 ] Test case.
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2
Merge branch 'maint-2.4.2'