add set_inf/2