Added a third state in instruction flowing (implicit, explicit or none) to know if stack merging needs to be done, and if a Br instruction needs to be added.