short-circuit analysis