Ethereum Solidity v0.8.14 contains an assertion failure via SMTEncoder::indexOrMemberAssignment() at SMTEncoder.cpp.
soliditylang solidity 0.8.13
soliditylang solidity 0.8.14