On Irrelevant Literals in Pseudo-Boolean Constraint Learning