Common predicates for HyQoZ