make get_inversed_pnc and get_negated_pnc return pn_Cmp to avoid warnings in frontends