crytic-compile<0.3.2,>=0.3.0
z3-solver
