Inherit condition verification should use new state

[Neylix]

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