fn collect_phi_constant_assign(
    function: &FunctionDefinition,
    register_assign: &HashMap<RegisterName, RegisterAssign>
) -> HashMap<String, Vec<(RegisterAssign, i64)>>