unused typedef in predicates also in operator and boolean