CodeQLで、データフローが特定の条件（例：if文のチェック）を通過したことを識別するために使用される述語はどれか。

Push Protectionを回避してプッシュした際、その「回避理由」をAPI経由で取得して外部のBIツールで分析することは可能か。