[mcs] Fix flow analysis of infinite for statement with breaks