「QVT-Operational」において、あるオブジェクトの特定の型への変換が成功するか事前に確認するキーワードはどれか。

QVT-Operationalは内部でOCLを統合しており、oclIsKindOf等のOCL標準演算をそのまま利用する。