Input System:
  VAR
    a ~ 2
  IN
    a = 1 + 1
  -> SKIP
  END
Solution Found:
  a = 2

Input System:
  VAR
    a ~ 0
  IN
    a = 1 + 1
  -> SKIP
  END
Solution Found:
  a = 2