The SMT (Sparse Merkle Tree) standard library procedure smt::get does not correctly handle leaves that…

The SMT (Sparse Merkle Tree) standard library procedure smt::get does not correctly handle leaves that…: a task in LegoFlow-SWE (Harbor dataset). Steps to reproduce 1. Use the SMT to insert two values with keys that share the same most-significant felt. For example, insert value V1 for key 101…