8067767: type inference performance regression

Overhaul implememntation of inference incorporation

Reviewed-by: vromero