be_Call has now dbg_info argument and call type attribute