JS: Dynamic analysis benefits from type analysis.