Dictionary that contains inequalities for small sboxes xor linear
Generate inequalities for wordwise truncated mds matrices