Fast One Time Predicate Checker