Thus, even if we somehow adapt ABA's product-of-marginals heuristic to such models, we run the risk of estimating highly inaccurate posteriors (specifically, zero-valued posteriors).
mIR extends to all IBm-style word alignment models and does not add heuristics.