Adding more constraints for IsEmptyLeaf

[arijitdutta67]

This PR adds the following constraints on IsEmptyLeaf:

1. It is one only at the third row of INSERT operation and the fourth row of DELETE operation
2. It is zero elsewhere

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 70.54%. Comparing base (f53e2d1) to head (c6b2ac7).

Additional details and impacted files

@@            Coverage Diff            @@
##               main     #146   +/-   ##
=========================================
  Coverage     70.54%   70.54%           
  Complexity     1042     1042           
=========================================
  Files           282      282           
  Lines         11310    11310           
  Branches       1028     1080   +52     
=========================================
  Hits           7979     7979           
  Misses         2861     2861           
  Partials        470      470           

Flag	Coverage Δ
hardhat	98.69% <ø> (ø)
kotlin	68.05% <ø> (ø)

[github-actions[bot]]

Delta Summary - Kotlin Code Coverage

Generated on:	10/07/2024 - 11:33
Description	Previous	Current	Delta
Coverage date:	10/07/2024 - 11:33	10/07/2024 - 11:33
Tag:	727_11214508972	727_11214508972
Line coverage:	27.3%	27.3%	0.0%
Covered lines:	25666	25666	0
Coverable lines:	93723	93723	0
Total lines:	132974	132974	0
Branch coverage:	10.4%	10.4%	0.0%
Covered branches:	5527	5527	0
Total branches:	52680	52680	0
Method coverage:	Feature is only available for sponsors