Second-Order Static Analysis Settings for Design Situations