simple-predicate does not compute