Add positive infinite with no concrete event static analysis