Adding in notion of static arrays to the constraint solver.