type and scope in static analysis 909617