short-circuit-analysis