feat: Optimize equality checks between a boolean and constant

crates/nargo_cli/tests/execution_success/bool_or/target/bool_or.json

@@ -1 +1 @@
-{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":1},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":1},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+1W2wqDMAyN98nE/UprW23f9iuT6f9/wja0kIkvw9OhYEBS83CSnJOW1ER0o8mi9xfPPmL/PkbM32evRKv10DWDVPIhGtdbI7TpWyutNNY8G6vUYLXtXO864aRWgxyNU6OYzOdIFrhim8kIiBUD+03AWF4PbhGYywSHJXi96co5ZjE/E3mAnmiRZ8ljvRKDJg8hUhoANyPcwIbqO8NrJBjk4Tg9H+Xf+s3Bc3MQPZq96nE9gB55ANyKwrxfCbjOAjg3QK1lBezxX8sVkMuv5erCzudytRGzmAlF45a07+Xq03eJ1yjocoXkNGY18svj7QUuV6DaPg8AAA==","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":1},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":1},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+WU0QrDIAxFY6X9nsQkNXnbr0xm//8TNmgFGXurg5UdkIs+XGOuZAGABXbCa02Hhm7fzqDT26GMq0jNqRLTHZMXUxQtq5GRmj6SMVcTy148o5NwpU2dN9zp7+h98RwUBnpNA9/7zR7GP+lhHFfXlfJIv5rHfIE84gdfPAfNA2ts86/9nXeejHS7tqgFAAA=","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/execution_success/brillig_not/target/brillig_not.json

@@ -1 +1 @@
-{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"},{"name":"y","type":{"kind":"field"},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+1XWW6DMBAdzBaW0p8exMYQzF+vUlS4/wWqVjRjdaBupYgxChIjIVsOeX6ezbxnAHiBm4X4rC3A8RVHuc1UwIclHXS5sGuP2EoQTOvziKxlOAp8ZktIPOh/PuF3rAIyF/hO+M87wR84mYNnRbgAn09kAuy5JiuCyU34O5EFOuYDNxIYlPWmoYe9LZaW16YZu3pUWr3Juh9MK5t2uBplVGva99poPZrGdP3Qd7JXjR7V1PZ6nG4WMmBNSCziO6MMXcHjTxLFyZnyjcm8wDGDn4K2dpRiiglX2hjseWxjiJjjQxuebVrRau+MrIUOX9vfUvDYEMDhFIu9tbBiRqwEjleknJwp35TM10k1m00mDwW1yBeXH73eXr6ClHrAvQBf8vs694U/RovP20f26V7SQYAf3zLHbTfpYG/h3LF2Sodttot0mJ1EpUMO/qUDLaKt0iEDviaSw/G+Sjg5U76FY35Kh7vtlA6zFYxYJeOZ9ypSRs6LIn0i81M6bMQs0aHcuBU8tnQoMVjMMfIqHTh9KgjH9e022xc2nM0FohgAAA==","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"},{"name":"y","type":{"kind":"field"},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+1XbW6EIBAdwY9Vm02PAqIr/utVaor3v0DTxu6QzlLapHEwa7IvMRDUx2O+dJ4A4BmukHiFyHB8wVFtg874uFRELhd3l5BbC8LpbZ6TtRpHgdeKkviDvvMBP32VkbnAZ+Qfz2S/8NQRnWeiBfhsokpgjzV1Jpzcgr8CWaBh3nEjgU4JN5UJ9vZcRl363o2d00a/qm6a7aD6Yb5YbfVgh7fOGuNsb8dpnkY16d44vQyTccsVkoFrQWE53xmVjDmPP0g0p2aqtyDzFscavhPa4yjJVBCttDD48/jCkDP7hxY8X7TyYO+arMmIrf29ChIWBIgYxXNvTayCkauE4yUpp2aqtyLzMKhW+GBKkFA38RKzY9KvVyonVQl4T8AX/KnOfeL30c3v7T3bdK/WQUAa2zL7bbfWwX+Fm8jao3XYhl1ah9VItHVoIH3rQJNoa+tQA18RaeB4fyWcmqneNjJ/tA7/xjFbB+4gbYEvSQXRGAbjik8sBfyeURQAAA==","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/execution_success/brillig_slices/target/brillig_slices.json

@@ -1 +1 @@
-{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"},{"name":"y","type":{"kind":"field"},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/82dSZBV1RnH7+v7oPv1Q8AGHBBtBwSZuwEFFeXGMWrUaCJGHHCMJmI0OEUTUUaFRIxGDIMKiUYMg0YURVAX2WWTSlU2qUpVNlmksskqq2ySfNf75/34+kIllXPiOVXW+874/f7/e89957ZUd55lWSP7vOT//q8rG1rUX1SfA/9bGWyEW2sgJmdXJE4rTzc//2xVvpO/VXMdhiMuAjEND+/ZwDCwjqziYWFzzDZ/ms6fhqsXiIfBw+4ILMP/C5ZusPSEZSnvsRZyiUt52ujPMaYVlqPc3z1Ov+rk+09Zu75g1hbaml8wS9sxqE3jdH/11jC3qnavox1Bh/Jo3V6wiq+F2PO1wDciLN9scjSRU3ly9E+sPo+pxh2DeeIclQ31dHRY5tJT5dG6qo+GjyOreBRYjg3LMs/W7Iugb7TTJy19NV6rHO1ZOxoejAnLO2B5x2L9AjlGon1cBJ/GQnsDOdSeIz4v65RxiHUfi9nunb6acYxHuTlt9PdF1jwGHAXqymV7bxbG9NVwjwS3+rU3WmjjPg5835Ra+pwW1elr07GTmfvdM5uOsTU6Yt6HWlf1ceCTprE1fGPAd1xYvjnkaCKn8uTov6r61DP+eMwT84nZUE/Hh2UuPVUerav6eHh6QhWfGI+lPEueBJbjaziUn+NOgk/qz/Gp/kXVpzyfgHlWzPNTXJvp7A+rs/RcebSu6v3QenIVnxKRxdY4FSwTajiUn+NOhU/q15k5R/8d1ac8Pw3zrJjnZ7g20zkxsM4G8mhd1SdC6+lVfAZYYpwFJ4JFnowAh2eLcabi+k3kVJ4c/Q9Un7qOZ2KeFbuOk12bMZ8Vlrm8jsqjdVU/C/5NquLJYAn9vDLNU6q1JtX4oHK08+IU8E0LzGd5p2P9AjmYd0bYvIPMq/Oicqg9R7wy65QZiHWPidmu69SacYwnuzlt9E+NrHkaOArUlcv2xeNVbPeJ7tcpmDe1Rst4aFF/F9aZgvWlb2oEfVOcvimOmWfIyWjTOO5Pz2w6ptXomB5Bx5Gu03TwSdM0sIT+7jXN/t5sOT4rR3t+zADfrLB85fNjAOsXyMG8g4F9YV49P5RD7TnibVmnDCLWPSZmu64za8YxnubmtNE/M7JmvksWqCuX7YuXq9juE92vfP7NrNHSDy3qz7EOn0/SNzOCvhlO3wzHzOdH3fOb+9Mzm45ZNToGIug40nUaAJ80zQJL6HNkrGeSv99bTrOVoz2TBqF5Tli+8pk0F+sXyMG8Zwf2hXn1TFIOteeIP8065WzEum/FbPfK7JpxjGe5OW30z46seQ44CtSVy/ba3iq2+0R7gM/U2TVaRkCL+vuxDp950jc7gr5Bp2/QMfOZVPedwD3vmU3HnBodcyPoONJ1mgs+aZoDlhg/w5kLFnnCn+F4NsZN9PPnCer/XfWp91Deh1bM83muzXTOD6uz9Fx5tK7q86H1nCqeB5YYP8OZDxZ5wp/heDbGTfTz52bq/2P1Kc/PxTwr5vn5rs10Lgiss4E8Wlf1BdCq//9wPlhi/AxnAVjkCX+G49liXfsF8F45lSdH/1+qT13HCzDPil3Hha5tOFhDMTeQR+sudDmM78IqXgiW0NexDQ7+P/+FETRnTnPm9JElT4ilmRDLsIRYhifE0p0QS09CLK2EWHoTYmknxDIiIZZjEmIZmRDLqIRYRifEcmxCLH0JsYxJiGVsQizjEmI5LiGW4xNiOSEhlhMTYhmfEMtJCbFMSIjl5IRYTkmIpT8hllMTYjktIZbTE2I5IyGWiQmxnJkQy6SEWCYnxHJWQixTEmKZmhDLtIRYpifEMiMhlpkJscxKiGUgIZbBhFhmJ8QyJyGWuQmxnJ0QyzkJscxLiGV+QiznJsRyXkIs5yfEsiAhlgsSYrkwIZbGF8zSyob+m1X+e5cL0Kb5F6LtS1U8Am1dNTlyx8DfG6I17N8w3NMcytCFORdVcV7DsLCG9aKaubE9Z54CdeXqBcNFCbBcmBDLBQmxLEiI5fyEWM5LiOXchFjmJ8QyLyGWcxJiOTshlrkJscxJiGV2QiyDCbEMJMQyKyGWmQmxzEiIZXpCLNMSYpmaEMuUhFjOSohlckIskxJiOTMhlokJsZyREMvpCbGclhDLqQmx9CfEckpCLCcnxDIhIZaTEmIZnxDLiQmxnJAQy/EJsRyXEMu4hFjGJsQyJiGWvoRYjk2IZXRCLKMSYhmZEMsxCbGMSIilnRBLb0IsrYRYehJi6U6IZXhCLMMSYmkmxJInxNLlWI70+1sujsCnPFpXdeXi7836Etq8V701zKbjkhodl0bQoTxaV/VLwSdNl9TwXQy+y8LyzSVHEzmVJ0f/U9XNoN/tcznmifmKbKinV0bwVHm0rupXwtMvV/EVYInxu8iuBIs84e8i82zGEeN3RV0J75WTf/tF/evcdbwK86zYdbzatRnzNWGZy+uoPFpX9Wvg31eq+Gqw9AdmYc4MnvSDw7MxbqJfz8wc/S87z6/FPCvm+XWuzXReH1hnA3m0rurXQ+tXq/g6sMS4Z68Hizzh7zfzbIyb6OfvlFP/Nuf51zDPinl+g2sznYvC6iw9vyHrlAL1RdD69Sq+ASwx/n7IIrDIk+PA4dli7bdF8F45lSdH/y53HW/EPCt2HW9ybca8ODBzA3m0ruqL4d83qvgmsNwSgeXmai2d35T3FviyODu8NFy9QHwzeG+NwHuLy6vreCvy3hY2b/m7fJdg/QI5qPf2CHqXwPMGcqg9R/xrfWlgXAbPxNwLvziO8WI3p43+WyNrvg0cBerKZfvzo64OQ+B9MUCNVm50Ppp/NzkvWujn8+P/sQducSx8p1mMNo3jPRvj+5g+yCeeIdX/W/dMvhXz5OmSGk9vD8t82D7Tuqorl/HpPlxSw3cb+GJ8394OH5STf69L/X9wnt6BeWK+Kxvq6d1hmUtPlUfrqn43PL2ziu8CS4z3q7vBIk/4fuXZGDfRz3O5+v/sPL8H86yY5/e6NtN5X1idpef3Zp1SoH4ftH6ziu8FS4yz2X1gkSd8F/JsjJvo57lc/X9znn8L86yY5/e7NtO5NLDOBvJoXdWXQuu3q/h+sMR49i4Fizzhu5Bni3Xtl8J75eS5XP3/cNfxAcyzYtfxQddmzA8FZm4gj9ZV/SH4950qfhAsyyKwKKfO5cq7rMaXDGMzpyFzGoz34bC85fn4EaxfIAfzPhrBp0egvYEcas8Rj9KDBOOs6J4Ts13nZTXjGD/o5rTRvyyy5ofBUaCuXLZPmtC6LBuqlff0d924FmLuucD3TallmdOiOn0Vw4NoW+Z0xHqO0Qf5xOeY+sdXfus59jDmydNHs6GePhbB00edp6orl/FpTzxaw8e9HOM76jH4oJx8P1D/ROfp45gn5ieyoZ4+GcFT5dG6qj8JT79XxU+AJcZZ9kmwyBOeZT0b4yb6eZZV/yzn+fcxz4p5/pRrM53Lw+osPX8q65QC9eXQ+oMqfgosMZ4Dy8EiT3iW9WyMm+jnWVb95znPn8Y8K+b5CtdmOlcG1tlAHq2r+kpofaaKV4AltOcxnj225qoInq10nj1Txatqrp/K0c5qK+Hr6rC85VltDdYvkKMf7Wsj+LQG2hvIofYc8XU4v6zthIf2hpjtflxVM47xCjenjf5VkTWvBkeBunLZfr4s7/iyyo2XXl2bujVXuDGmZQ36Y2vhdWVsY56pYXs2LFt5Tz+H9Qvk4L2+LoInz0FvAznUniO+E/f0uk546JqL2e7ptTXjGK92c9roXxtZ87PgKFBXLrunb4TWNRjv79U2+vk7a9ZgLWkJ/Cw87JmkdVXns6Lp2MnM70XPbDpW1eiI8Zzxzw3/TOyFplU1fKvBF+Pn13zeKSd/fq3+h91Z6FnME/O6bKin6yN4us55qvp6eKq9vQ4sMc7868EiT3jm92yMm+jnmV/9y53nP8Q8K+b5867NdG4Iq7P0/PmsUwrUN0Drj6r4ebDEOPNvAIs84Znfs8V6X94A75WT78vqX++u4wuYZ8Wu44uuzZhfCuxdA3m0ruovwb8fV/GLkf17CSwvOP96a9gYN9HPdzf1b3Se/wTzrJjnG12b6XwlrM7S841ZpxSovwKt+rvcG8ES491tUwR90qGzpbRsqvE6w9jM+ZI5X4x3c1je8ky6BesXyMGz8NYIPm2B9gZyqD1HvAvntK2d8NB9LGa7dzbVjGO80c1po39TZM2bwVGgrly297bjPWuTGy+9vDaB74nBurybnGd1WjY6Nn+NbczLNfyx760C9a3I+2rYvOVeeg3rF8jBPfZ6BL2vQW8DOdSeI/4Me+n1TnjoGou5F35xHOPNbk4b/Vsja34VHAXqymV76X1o3YLxfh+Z1p+6cS3E/E6Msd+2OC2q8xklho1o0zh+R8Q4m9AH+cSznfp/484ZmzFPnm7NhnoaeC8O8vtE66rO+9t/V5BvU2RPX4UPW2s8Vf/vnaevYZ6Yt2VDPd0elrn0VHm0rurb4an23zawxHjX3A4WecJ3Tc/GuIl+vmuq/0/O859hnhXz/A3XZjrfDKuz9Fx5tK7qb0Lrz6v4DbDEeNd8EyzyhM9Qz8a4iX6+o6j/r87zX2CeFfN8h2sznW8H1tlAHq2r+tvQ+lYV7wBLjHeUnRH0SYfOR9Kys8brDGMz50vmfDHeXWF5y3PVbqxfIAfPkXsi+LQb2hvIofYc8T9x1tjTCQ/dx2K2e2dnzTjGO9ycNvp3Rta8CxwF6sple+/veEfZ6cZLL69N4HtisC7vTudZnZYdjs1fYxvzVg1/7HurQH0P8r4TNm+5l97F+gVycI/9KoLed6G3gRxqzxH36QGPcVZ0jcXcC784jvEuN6eN/j2RNb8DjgJ15TKZ3dC6G+P9PjKtv3TjWoj5nRhjv+12WlTnM0oMO9CmcW9nQ3U2oYlnAvVPqBbUmWAX5kn/nhr9gffNIJ/9Wld13ov+uU4+PrdjnM3egQ/KyX8DqP5JztN3MU/M72VDPd0bwVPl0bqq74Wn2ivvgSXG+8ResMgTvk94NsZN9PN9Qv2DzvP3Mc+Keb7PtZnOD8PqLD3fl3VKgfqH0PpBFe8DS2jPbc39EfRJh75XpWV/jdcZxmbOl8z5YrwfB/bA8h7A+gVy8O+DH4zg0wFobyCH2nPEl+M76mAnPHQfi9nunf014xjvc3Pa6N8fWfPH4ChQVy6TuaDZ8WW/Gy+9vDaB74nBurz7nWd1WvY5Nn+NbcwHNfyx760C9YPI+0nYvOVe+hTrF8jBPfZZBL2fQm8DOdSeI16MvfRZJzx0jcXcC784jvHHbk4b/Qcja/4EHAXqymUyr4XWAxjv95Fp/ahm3AGspX5+v6p/Cb5fW/CFz+4YZ4b94PPP7Rz9d4Ovu+LpDstTXpPhWacUWedMrVzmzbDs8HK0777h+OyJwNvt8oqtB3lbYfOWz4lerF8gR472dgS9vfC8gRy9yK/4cewd/u0/3f8tzO2pGce4281po78nsuYWOArHYMVkLm12GALviwFqtDLMedJGP8/j3W58y3mlti63Hv9uYQ/6/D4LZrIAGoBh+Rd8r+TlIbgAAA==","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"},{"name":"y","type":{"kind":"field"},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/82dWbBVxRWG97n7wOXcg4AMDoheB2Qe7mUQlGnHIYkmajSRRARxjBoxKIKJGo3MahTjgIigmIAiQRRUJAxqpfKQt7wkb6lK3lKVylOq8piHZB33z/lYbKik0o3dVdRZPa7vX927d/fl1rl5lmW17IuU/+dfR3Z8Un1Rfvb8f6m3Fm6snpicHZE4LW2tf/HZKONO/kbFPPSFXQRi6hs+Zj19wDqgtPuE9THF4lN38am5fAG7D2LYGYGl7//A0gmWfmFZWmusAV/ikp8m6nO0aYTlaD3f/Zx+5cn337J2fMmsDZTVv2SWpmNQmdppfXVVMDfKcq+jGUGH/GjcLrCKrwH7VLDUy3EbjsX89g/rdwrHr4NBfnLUX1x+nla2Ow39spJ3oCsz5kERYiU/Gld5+TK+AaU9ECynh2WZYWMOjqBvkNMnLYMrYq10sv18EGIwJCxvj/kdivEL+BiA8mER4jQU2mvwofIc9qysnYbB1joWs62dwRXtaA90fZqoHxxZ8xBwFMjLlz17PWAIvD5b8z3YMSg/AOVDKuI1GPFSvZ7JBuq5fwRer70n4+d81h17E+24z3hm0zG0QkfM9a9xlR8GPmkaeopY9P7y69L8nhHW71SOXweD/OSov7781PvrTPSzZPN2tisz5uERYiU/Gld5+TK+s0r77HgsrW3iHLCcWcEh/2x3DuKk+hyfql9QfirmI9DPksX8PFdmOrvD6mzFXH40rvLd0HpuaZ8XkcXGOB8sIyo45J/tzkecVK87R476u8tPxfwC9LNkMb/IlZnOkYF11uBH4yo/ElovLO2LwBLjnDsSLIpJf3B4thjnRY5fh0/5yVH/UPmpebwY/SzZPI52ZcY8Jixzax7lR+MqPwbxG1Xao8ESer8yzWPLsUZVxEHpZGfhseAbH5jP/E7A+AV80O/EsH576VdnYflQeQ57XdZOE2FrjYnZ5nVcRTvao12fJurHRdY8HhwF8vJlz8XjpW3rROt1LPqNq9AyHFpU34FxxmJ86RsXQd9Yp2+sY+Y5dTTK1I7Pp2c2HeMrdEyIoONE8zQBfNI0Hiyh372m2a/NhuOzdLL9YyL4Jofla+0fvLsV8EG/vYHjQr/aP+RD5Tns7Vk79cLWGhOzzeukina0x7s+TdRPiqx5MjgK5OXLnovXStvWidYr979JFVq6oUX1Ocbh/iR9kyLom+j0TXTM3D+q9m8+n57ZdEyu0NETQceJ5qkHfNI0GSyhz5Gx9iS/3htOs6WT7Um90Dw1LF9rT5qG8Qv4oN/pgeNCv9qT5EPlOezfZO00HbbWrZhtrUypaEd7suvTRP2UyJqngqNAXr7sWfuktG2d6BngnjqlQkt/aFF9N8bhnid9UyLo63X6eh0z96SqdwKfec9sOqZW6JgWQceJ5mka+KRpKlhi/AxnGlgUE/4Mx7PRrqOeP09Q/R/LT91DuQ4tWcxnuDLTOTOszlbM5UfjKj8TWi8p7RlgifEznJlgUUz4MxzPRruOev7cTPV/KT8V80vRz5LFfJYrM52zA+usZcf+v0mB/Gxovay0Z4Elxs9wZoNFMeHPcDxbrLmfjdjLp/zkqP97+al5nIN+lmwe57myvmANxVyDH407z/kwvrmlPQ8soeexCQ7+zsS8CJozpzlz+siSJ8RST4ilT0IsfRNi6UyIpV9CLI2EWLoSYmkmxNI/IZbTEmIZkBDLwIRYBiXEcnpCLIMTYhmSEMvQhFiGJcRyRkIsZybEclZCLGcnxDI8IZZzEmIZkRDLuQmxnJcQS3dCLOcnxHJBQiwXJsRyUUIsIxNiuTghllEJsYxOiGVMQixjE2IZlxDL+IRYJiTEMjEhlkkJsUxOiKUnIZbehFimJMQyNSGWaQmxTE+I5ZKEWGYkxDIzIZZLE2K5LCGWWQmxzE6IZU5CLHMTYql9ySyN7PjfWeXvu8xBmfrPRdlXSrs/yjoqfOSOgd+7ojHsdxhW1Y9n6ECfy0s7r2CYV8F6eUXf2DGnnwJ5+eoCw+UJsMxNiGVOQiyzE2KZlRDLZQmxXJoQy8yEWGYkxHJJQizTE2KZlhDL1IRYpiTE0psQS09CLJMTYpmUEMvEhFgmJMQyPiGWcQmxjE2IZUxCLKMTYhmVEMvFCbGMTIjlooRYLkyI5YKEWM5PiKU7IZbzEmI5NyGWEQmxnJMQy/CEWM5OiOWshFjOTIjljIRYhiXEMjQhliEJsQxOiOX0hFgGJcQyMCGWAQmxnJYQS/+EWJoJsXQlxNJIiKVfQiydCbH0TYilT0Is9YRY8oRYOhzLib6/5YoIfPKjcZWXL35v1ldQ5mPVVcFsOq6s0HFVBB3yo3GVvwp80nTlKWLRd9Zf4VjM71fD+p3G8etgkJ8c9avKBafvD/oa+lmyebvalRnzNRFiJT8aV3n5Mr6vl/bVYInxfWfXgEUx4fedeTbjiPF9VNcg9vLJv52j+g1uHr+BfpZsHq91ZcZ8XVjm1jzKj8ZV/jrE75ulfS1YugOz0GeGmHSDw7PRrqNe+3KO+s0u5tejnyWL+Q2uzHTeGFhnDX40rvI3Quu3SvsGsMRYszeCRTHhd6h5Ntp11PN761S/w8X82+hnyWJ+kysznfPD6mzF/KasnQrk50Prd0r7JrDE+Bsl88GimJwBDs8W63mbj9jLp/zkqN/r5vG76GfJ5vFmV2bMCwIz1+BH4yq/APH7XmnfDJaFEVhuKcfSGVF+FyIuC7JjU83lC9i3gHdRBN6Fzq/mcRH83hrWb+v7ghdj/AI+qPe2CHoXI+Y1+FB5Dvt3emmgXYaYibkL8WI72gtcnybqF0XWfCs4CuTly57PIx1thsDrrCdzDH6NWfxudvGx52Qh+CKxVT4DCx0f700LUKZ2XLMx3seMg+LEM6Tq/+D25EXop5gurojpbWGZj3nONK7y8mV8muvFp4hFdzi//mO902+DXzHw746p/s9u3m5HP0s2b3e6MmO+K0Ks5EfjKi9fxndHad8Jlhh3uLvAopjwDufZaNdRz7O/6v/mYn43+lmymN/jykznvWF1tmJ+T9ZOBfL3Quv3S/sesMQ4/90LFsWE9y3PRruOep79Vf9PF/P70M+Sxfx+V2Y6lwTWWYMfjav8Emj9QWnfD5YY+/sSsCgmvG95tlhzvwSxl0+e/Y9ylpOreXwA/SzZPC51Zcb8YGDmGvxoXOUfRPx+WNpLwbIsAot86uwvv8sq4pKhbeY0ZE6D8T4clrd1Bl+O8Qv4oN8VEeK0HNpr8KHyHPYwbSRoZ0lrTsw2z8sq2tFe6vo0Ub8ssuaHwVEgL1+tv62dtxkCr8/WfC9zDMo/iHJyPuBiYzF+yLVroJ7PeuD12nsyfs6nGJaizOuMtX8yDooT90/VX+j2z4fRTzFdkR0f00cixHSFi6ny8mV8ehZXnCIWndOXO5ZY799H4FcMvF+pfqKbtx+hnyWbt0ddmTE/FiFW8qNxlZcv4/txaT8Klhjn9MfAopjwnO7ZaNdRz3O66me6mD+OfpYs5k+4MtP5ZFidrZg/kbVTgfyT0PqT0n4CLDH2mifBopjwnO7ZaNdRz3O66q9wMf8p+lmymK90ZaZzVWCdNfjRuMqvgtanSnslWELH3MZcHUGfxuwox1W+G1pi/I26NRG0aE407lOlLV9cN0onO/+uQgzWhuVtnYfWYfwCPlajfH2EOK2D9hp8qDyHvRDn3/Vt8+gzKWZ7DtZUtKO90vVpon5NZM1rwVEgL1+t/zfM23FZ49pLr+amasyVro1pWYf62Fo4r7StzVMVbE+HZWut6WcwfgEfXOvPRojJM9Bbgw+V57AfwJp+tm0enXMx25peX9GO9lrXp4n69ZE1Pw2OAnn5sjV9B+50gZ+rHu4dGlf51Sgn50oXmybq+T1Kq6FB/DGepdWOX/l14Ks79iba8RzgmU3H2godMd59J9oT1oBPmtaeIhbdo9Y5llj/37EGfsXA/+9Q/Up3vuQ7wJLN2zOuLPa+pXGVly/j0/PBvTXGPYr7mmLCe5Rno11HPe9Rqn/Oxfxn6GfJYv68KzOdG8LqbMX8+aydCuQ3QOtzpf08WGLcozaARTHhPcqzxfoZxAbEXj75MwjVv+bm8QX0s2Tz+KIrM+aXAseuBj8aV/mXEL+fl/aLkeP3ElhecPHrqmCjXUc978Oq3+5i/jL6WbKYb3RlpvPVsDpbMd+YtVOB/KvQ+kppbwRLjPvwpgj6NKbuw8rzPrw5gl/FT+d1xVC+OMcZ2mZuPjI3H8b7elje1rlvC8Yv4GMTyrdGiNMWaK/Bh8pz2Idxzt/aNo8+P2K2Nbu5oh3tja5PE/WbI2t+HRwF8vJlz/xe3F03u/bSy7kJvCZ6q/xudjGr0rLRsfk5tjavVPDHXlsF8lvh942wflvP0psYv4APPmPbIuh9E3pr8KHyHPbv8Sxta5tH51jMXYgX29F+3fVpon5rZM1vgKNAXr7sWfot7syB11kP9yyNq/wmlJPzZRcbi/Frrl0D/XkG2BIhhpscv/LyxTvzRpSpHd9NMc5ijIPixLOs6v/kzlVb0E8x3VwR0xh7z4n2Ts65npvY7xtqLrLj3zex5o3vMzFw3lT/Vzdvb6CfJZu3ba7MmN+KECvuawXy8mV82kO3gSXG/f0tsCgmvL97Ntp11PP+rvp/uJj/Av0sWcy3uzLTuSOszlbM5UfjKr8DWn9Z2tvBEuP+vgMsignv756Ndh31vPep/l8u5m+jnyWL+U5XZjrfDayzBj8aV/l3ofWd0t4Jlhj3vl0R9GlM3fuU571vdwS/ip/OnIqhfHGOM7TN3Hxkbj6M972wvK2zyx6MX8DHLpS/HyFOe6C9Bh8qz2EP1cOAdpb0/IjZ1uzuina0d7o+TdTvjqz5PXAUyMuXyWzU23HZ7dpLL+cm8JrorfK728WsSstOx+bn2Nq8U8Efe20VyL8Pvx+E9dt6lvZi/AI++Izti6B3L/TW4EPlOezReJb2tc2jcyzmLsSL7Wi/5/o0Uf9+ZM0fgKNAXr5M5oh6myHwOuvhnqVxld+FcnK+7WJjMf6Va9dAf54B9kSI4S7Hr7x88d63E2Vq9y76k1maeAZS/dRyQJ2B9qCf9O+u0B9jnzjRPsf50RqP/W6g5iI7/t0Q67zLd48Y+DvGqp/r5u0D9LNk87bPlRnzhxFixT2oQF6+jE/73T6wxLijfQgWxYR3NM9Gu4563tFUf7WL+UfoZ8livt+Vmc5PwupsxXx/1k4F8p9A68elvR8soWNuYx6IoO8A5qFAfji0HIzgV/HTWUUxlC/OcYa2mZuPzM2H8R4Ky9t65x3G+AV8HED5kQhxOgztNfhQeQ77dpxxjrTNo8+PmG3NHqxoR3u/69NE/cHImg+Bo0BevkzmfNwXDrr20su5Cbwmeqv8HnQxq9Ky37H5ObY2H1fwx15bBfJH4PfTsH5bz9JnGL+ADz5jn0fQ+xn01uBD5Tns5XiWPm+bR+dYzF2IF9vRPuT6NFF/JLLmT8FRIC9fJvM+3BcCr7Me7lkaV/kDKCfnRy42FuNfV7Q7AA2q53lC9Y/jPBFrLzgMFhtX7yP5inUOOwS/YhiOGKh+JWLQWfJ0RohD36ydiqx9F5Ive6/3yY5NJ3uv98Vnvwi8nc6v2PrBbyOs39Yz0YXxC/jIUd6MoLcLMa/BRxf8y34FeyD/3q2esQb69qtoR7vT9Wmivl9kzQ1wFI7BUut3PrEHBl5nPZlj8GusiXrecTpd+4aLlco0H4xx7nxYnX/OggVZADXAMP0bd1Cx+FXAAAA=","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/execution_success/pred_eq/target/pred_eq.json

@@ -1 +1 @@
-{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"},{"name":"y","type":{"kind":"field"},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+1USxLCIAxNf9huPAvhU8LOq8hI738ERwcdrOwaHBZmkwyLl7yX8BYAWOA7hpQvKctjgV2GpeVqTHQqosarVD6QlcaGlZDQkr0p0jqSIeeDd9Kj0RE36/WWwHpGrIGP4xOrK2jZMWvJOXM+71io+8JNiAqcYNdnr+O58MbavMaSxgq4E/Adfy3eE/+OZAb5PsoWNRXAa06/MBQBdQzllNV/QzmIKZKg3LgztG0oD94z/44+DKVlTftsxvzzvOIOhKdrBcIJAAA=","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"},{"name":"y","type":{"kind":"field"},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/81TMQ7DIAw0JGTsW2wMwWz9SlHJ/59QqaISStlipNxixHC+O9sbADj4x9Lqs1W8BjIdF+MeQk2+EtMLfS4SMcSyCwlFiW8vzFWCpFxywkyBKx0x89HIrCLXoufxy2UGWRrlLDU193rXwdsOdmKb4AlOfc45PgZ/qs1nDGmdwOtAb/ln+Xb6M8KO8taZ2k5jfzw/fADLYG+4cQUAAA==","proving_key":null,"verification_key":null}