[SI CAD for Example 22]
(x,y,z,w)
4
[ [x + y + z + w = 0 /\ z y - x^2 w < 0] ].
full-cad
go
go
go
d-fpc-stat
go  
