Nonlinear Static Analysis Designers