(A1) Correct.
(A2) The LRM section 4.7 Nondeterminism explicitly defines the execution order of statements in concurrent processes is nondeterministic.
(A3) See: Function arguments not initializing variable inside the body - #2 by dave_59
(A1) Correct.
(A2) The LRM section 4.7 Nondeterminism explicitly defines the execution order of statements in concurrent processes is nondeterministic.
(A3) See: Function arguments not initializing variable inside the body - #2 by dave_59