Issue due to unknown variables being modified depending on known secret variables.

[lydiagarms]

In the following contract:

// SPDX-License-Identifier: CC0
pragma solidity ^0.8.0;
contract Assign {
secret uint256 private a;
secret uint256 private b;

function giveAmounttoCharity( uint256 value ) public {
unknown b += value +a;
a+= value;
}

}

There is an error in orchestration because a is not defined before it is added to b. We need to generate the witnesses all at once.