[pl] fix some imprecise alarms, add a new conservative rule