(C1011) Elements using uninitialized context variables Elements contain action expressions that use an uninitialized context variable. Error In: Correctness Example: There is a transition labeled with the following label: E / Y=$X; $X=Z $X is used before any value is assigned to it. Erroneous Elements: States, transitions, and actions
E / Y=$X; $X=Z
$X is used before any value is assigned to it.
$X