solution for #681, deprecate PT.isUnknown()