Simplify Array Constraints