Function try_lower_value_transfer_helpers 

fn try_lower_value_transfer_helpers(
    func: &Expression,
    args: &[Expression],
    ctx: &mut LoweringContext<'_>,
    instructions: &mut Vec<Instruction>,
) -> Option<bool>