Solar Sema is a Solidity and Yul semantic analysis library that forms the core of the Solar...