Fix basic block calls in the Reg -> CASM translation

[lukaszcz]

• Closes Miscompilation in the Cairo backend #3237
• The order of arguments passed to the next basic block was inconsistent among different branches of an if/case. This manifested itself only when the branches ended with different operations (e.g., one with a call, another with assignment), the result of the branching was used later on (the branching was not at tail position), and variables declared before the branch were used after it in a specific way.