Bugfix: collision between covered and non code line states in coverage enforcement resolved