In constraint block, if-condition becomes invisible when it doesn't have else statement

[LeeKaiXuan]

Description

For action (i.e., randWithIfElseCondition) has if-else condition in constraint block, it executed correctly even when expression in if expression failed.
However, when the if expression failed and there was no else statement (as shown in randWithIfCondition action), it incorrectly uses if statement as its constraint. Causing incorrect behaviour from the user's wish.

Scenario Code

component pss_top {
    action root_a {
        activity {
            do randWithIfElseCondition with { condition == "foo"; };
            do randWithIfElseCondition with { condition == "bar"; };
            do randWithIfCondition with { condition == "foo"; };
            do randWithIfCondition with { condition == "bar"; };
        }
    }

    action randWithIfElseCondition {
        rand string condition;
        rand int value;
        constraint {
            if ("foo" == condition) value in [12345];
            else value in [0];
        }

        exec post_solve {
            if (12345 != value) value = 54321;
        }
        exec body ASM = """randWithIfElseCondition: {{condition}} ; {{value}}""";
    }

    action randWithIfCondition {
        rand string condition;
        rand int value;
        constraint {
            if ("foo" == condition) value in [12345];
        }

        exec post_solve {
            if (12345 != value) value = 54321;
        }
        exec body ASM = """randWithIfCondition: {{condition}} ; {{value}}""";
    }
}

Expected Output or Behaviour

randWithIfElseCondition: foo ; 12345
randWithIfElseCondition: bar ; 54321
randWithIfCondition: foo ; 12345
randWithIfCondition: bar ; 54321

Error Message from PSSGen or JAVA

4c4
< randWithIfCondition: bar ; 12345
---
> randWithIfCondition: bar ; 54321
Test Result: FAIL

Additional Context (Optional)

Please feel free to add any other context about the problem here.