Input System:
  VAR
    a ~ 0,
    b ~ 0
  IN
    b = a * a AND
    a = 2 + b
  -> SKIP
  END
No Solution Found!

Input System:
  VAR
    a ~ 0,
    b ~ 0,
    c ~ 0
  IN
    b = a * a AND
    c = a * a AND
    b = 1 + c
  -> SKIP
  END
No Solution Found!

Input System:
  VAR
    a ~ 0,
    b ~ 0
  IN
    a = b + 3 AND
    a = 2 * b
  -> SKIP
  END
Solution Found:
  a = 6
  b = 3