fix coverage test

Author: estebank

tests/coverage/assert_not.cov-map

@@ -1,22 +1,18 @@
 Function name: assert_not::main
-Raw bytes (58): 0x[01, 01, 02, 05, 00, 0d, 00, 0a, 01, 06, 01, 00, 0b, 05, 01, 05, 00, 0c, 01, 00, 0d, 00, 11, 00, 01, 05, 00, 0c, 05, 00, 0d, 00, 13, 0d, 01, 05, 00, 0c, 02, 00, 0d, 00, 13, 00, 01, 05, 00, 0c, 0d, 00, 0d, 00, 15, 06, 01, 01, 00, 02]
+Raw bytes (54): 0x[01, 01, 00, 0a, 01, 06, 01, 00, 0b, 05, 01, 05, 00, 0c, 01, 00, 0d, 00, 11, 09, 01, 05, 00, 0c, 05, 00, 0d, 00, 13, 0d, 01, 05, 00, 0c, 09, 00, 0d, 00, 13, 11, 01, 05, 00, 0c, 0d, 00, 0d, 00, 15, 11, 01, 01, 00, 02]
 Number of files: 1
 - file 0 => global file 1
-Number of expressions: 2
-- expression 0 operands: lhs = Counter(1), rhs = Zero
-- expression 1 operands: lhs = Counter(3), rhs = Zero
+Number of expressions: 0
 Number of file 0 mappings: 10
 - Code(Counter(0)) at (prev + 6, 1) to (start + 0, 11)
 - Code(Counter(1)) at (prev + 1, 5) to (start + 0, 12)
 - Code(Counter(0)) at (prev + 0, 13) to (start + 0, 17)
-- Code(Zero) at (prev + 1, 5) to (start + 0, 12)
+- Code(Counter(2)) at (prev + 1, 5) to (start + 0, 12)
 - Code(Counter(1)) at (prev + 0, 13) to (start + 0, 19)
 - Code(Counter(3)) at (prev + 1, 5) to (start + 0, 12)
-- Code(Expression(0, Sub)) at (prev + 0, 13) to (start + 0, 19)
-    = (c1 - Zero)
-- Code(Zero) at (prev + 1, 5) to (start + 0, 12)
+- Code(Counter(2)) at (prev + 0, 13) to (start + 0, 19)
+- Code(Counter(4)) at (prev + 1, 5) to (start + 0, 12)
 - Code(Counter(3)) at (prev + 0, 13) to (start + 0, 21)
-- Code(Expression(1, Sub)) at (prev + 1, 1) to (start + 0, 2)
-    = (c3 - Zero)
-Highest counter ID seen: c3
+- Code(Counter(4)) at (prev + 1, 1) to (start + 0, 2)
+Highest counter ID seen: c4