improve names of deduction APIs