run "(and (equal 400 x0) (equal 500 x1) (equal 600 x2))" "(400 500)"
FAILURE: first of non-cons
()
