(C5011) Elements using uninitialized context variables Error In: Correctness Description: Elements contain action expressions that use an uninitialized context variable. Example: There is a transition labeled as follows: E / Y:=$X; $X:=Z $X is used before any value is assigned to it. Erroneous Elements: Actions
E / Y:=$X; $X:=Z
$X