Variable initialisation and mainAgent run in parallel
The following code produces two different println actions, but should produce only one (printing 0):
int x = 0;
int y = x;
int getY() {
return y;
}
mainAgent {
x = 42;
println(getY());
}
(Related to https://dgit.cs.uni-saarland.de/pseuco/pseuco-formal-semantics/-/issues/1)