[flow] fixes bug in IR code generation of match-else blocks (fixing infinite loop when not specifying an else block and nothing matched)