Module add_withdraw_gas

Functions

add_withdraw_gas

Main function for the add_withdraw_gas lowering phase. Adds a withdraw_gas statement to the given function, if needed.