SimulationAttribute

Marks simulation code (a type or the whole assembly): it must be deterministic, so ARA0200 rejects async, wall-clock time, System.Random, I/O and threads in it.