Static Analysis Settings | Time-Dependent Analysis