Logically, the code in src/te/schedule/message_passing.cc#L417:
if (is_zero(ana.Simplify(indexmod(inner_extent, fused_extent))) &&
is_zero(ana.Simplify(indexmod(fused.min(), fused_extent))))
should be:
if (is_zero(ana.Simplify(indexmod(fused_extent, inner_extent))) &&
is_zero(ana.Simplify(indexmod(fused.min(), fused_extent))))