Constraint propagation should reuse an existing object to provide their results instead of allocating a new array each time.