Module state_change_stub 

Enhanced state change test generation using proper Solidity AST

This module generates state change tests using the new AST-based approach with SolidityTestContractBuilder and proper type-safe Solidity code generation.

Functions

create_comprehensive_state_change_test_contract

generate_state_change_tests_from_cfg