Infer non-empty-ness after count($a) == count($b)

Infer non-empty-ness after count($a) == count($b) #13727