Nach deiner Schilderung klingt es ganz so, als ob er beim ersten Mal nicht abfragt, ob die Variable gleich 1 ist, sondern größer/gleich. Setz' entweder bei der Fork Condition die Voraussetzung auf Gleich / Equal / Same und nicht auf Above, etc. oder du beginnst bei der Variablen-Abfrage nicht bei 1, sondern bei 4 und zählst runter. Also entweder so:

<>Change Var: Var[x :Variablenname] (Set)-Random(1 to 4)
<>If Var(x:Variablenname) 1, SAME / EQUAL
<>Hier passiert dann die erste Möglichkeit
:Else Case
<>If Var (x:Variablenname) 2, SAME / EQUAL
<>Hier passiert die zweite Möglichkeit
:Else Case
<>If Var (x:Variablenname) 3, SAME / EQUAL
<>Hier passiert die dritte Möglichkeit
:Else Case
<>If Var (x:Variablenname) 4, SAME / EQUAL
<>Hier passiert die letzte Möglichkeit
<>
:End Case
<>
:End Case
<>
:End Case
<>
:End Case
<>

oder

<>Change Var: Var[x :Variablenname] (Set)-Random(1 to 4)
<>If Var(x:Variablenname) 4
<>Hier passiert dann die erste Möglichkeit
:Else Case
<>If Var (x:Variablenname) 3
<>Hier passiert die zweite Möglichkeit
:Else Case
<>If Var (x:Variablenname) 2
<>Hier passiert die dritte Möglichkeit
:Else Case
<>If Var (x:Variablenname) 1
<>Hier passiert die letzte Möglichkeit
<>
:End Case
<>
:End Case
<>
:End Case
<>
:End Case
<>

Dann müsste es eigentlich klappen. Die weiteren Fork Conditions kannst du ruhig im If-Case stehen lassen.