change predicate for terminals