avoid use of deprecated ProducedType.isUnknown()
Fix #214