[eo] improved rule PRO_VINF.