Add comment for non-determinism and procedurename as a signal.