Inherit condition verification should use new state

### Describe the problem you discovered

The goal of the inherit conditions is to ensure the output of the contract respect certain rules. The State of the contract could be part of those rules, but currently the state used in inherit condition is the current contract state and not the new state after contract execution

### Describe the solution you'd like

The new state should be used when executing inherit conditions

### Epic

_No response_

No file, test, or entry point is named. Trace where inherit conditions are executed and compare the contract state available before and after execution; done means the inherit conditions evaluate against the new post-execution state.

Written by the indexing model from the issue text.