VAR x = 0 ~ x = 10 * [Set variable from code to 15] { x == 15: OK - else: KO } -> END