Closed 01tomislav closed 1 year ago
the run command could continue even when the effect is EffectRand? The user can add additional assumptions about the introduced variable if/when they need them later.
the run command could continue even when the effect is EffectRand? The user can add additional assumptions about the introduced variable if/when they need them later.