AccountStateReachableQuery

The main queries we want to support:

1. Can the Address force a specific change to the state
   • We often have address _owner; state variables, which allows the owner of a smart contract to access functions that other accounts cannot access. Are we able to have Account B change the value of _owner to any other value?
2. Can the balance of Address B ever get above its starting amount?
3. Can the total of all address balances ever be more then the starting sum?

Required Issues

• #10