-- Stability --

Monomials:
    x1; x2; x1**2 * x2

-- Safety --

Monomials:
    x1; x2; x1**2 * x2

State Space:
    x1: -2.0, 2.0
    x2: -2.0, 2.0

Initial State:
    x1: -0.2, 0.2
    x2: -0.2, 0.2

Unsafe State(s):
    x1: -2.0, -1.5
    x2: -2.0, -1.5

    x1: 1.5, 2.0
    x2: 1.5, 2.0
