test predicate computer