analyzing static nat