Started variables static analysis