fix inference rule null case