There are no available correlations in the public domain for the reliable prediction of two-phase choked flow conditions.
The software will solve the conservation of mass, energy and momentum and on this basis, if the model solves with a negative value for static pressure (physical impossibility), a warning is enunciated to that effect which can be indicative of choked flow conditions.