Hash collision in MAST control block hashing causes incorrect program execution

Hash collision in MAST control block hashing causes incorrect program execution: a task in LegoFlow-SWE (Harbor dataset). The program semantics dictate that the push.1 inside the if.true block should leave a 1 on the stack. A valid proof of execution exists that demonstrates the stack should end…