All executions are aborted because empty variables are declared in the uprocs.