Add has_format and has_length predicates