function_eq_inc_Int(1) == 2
function_eq_dinc_Int(1) == 3
function_eq_sum_Int_Int(1, 1) == 2