FunC incorreclty generate code for ifelse branches

[EmelyanenkoK]

The following code

() save (int a) impure inline {
  set_data(begin_cell().store_int(a,32).end_cell());
}

() main(int a) {
  int b = 3;
  if(a == 0) {
    return save(0);
  } elseif (a == 1) {
    b = 4;
    save(-1);
  }
  save(b);
}

will be compiled into

"Asm.fif" include
PROGRAM{
  DECLPROC save
  DECLPROC main
  save PROC:<{
    //  a
    NEWC	//  a _1
    32 STI	//  _3
    ENDC	//  _4
    c4 POP
  }>
  main PROC:<{
    //  a
    3 PUSHINT	//  a b=3
    OVER	//  a b=3 a
    0 EQINT	//  a b=3 _4
    IFJMP:<{	//  a b=3
      2DROP	// 
      0 PUSHINT	//  _5=0
      save INLINECALLDICT
    }>	//  a b=3
    SWAP	//  b=3 a
    1 EQINT	//  b=3 _8
    IF:<{	//  b=3
      DROP	// 
      4 PUSHINT	//  b=4
      -1 PUSHINT	//  b=4 _10=-1
      save INLINECALLDICT
    }>	//  b
  }>
}END>c

Which is incorrect: it not only forget to call save after ifelse branch but also leave b on the stack