Invalid variable names because of shadowing
void run() {
}
mainAgent {
int e = 1;
agent a1 = start(run());
join(a1);
}
produces the error
error: variable e is already defined in method main(String[])
} catch (InterruptedException e) {
^
1 error
It looks like code generation isn't taking into account already declared variables when naming internal variables.