[Constraint] Requirement for default constraint.

[yyb0205]

Description

Wish PSSGen implement default constraint.

Definition of the feature located in LRM

PSS LRM 2.1, 16.1.10 Default value constraints

Example Code

action top {
    activity {
        do test with { en == 0; };
        do test;
    }
}
action test {
    rand bit en;
    constraint default en == 1;
    exec body ASM = """en = {{en}}""";
}

Expected Result or Behaviour

en = 0;
en = 1;