Nonlinear+Static+Analysis Designers