Better static analysis