pub unsafe fn generate_base_implied_equalities(arg_root: *mut PlannerInfo)