Fix bug in the `conforms_to_protocol/2-3` built-in predicates where complementing categories would be ignored