Add other possible valid inequalities