added test for earlier bug with redundant constraints adding to matrix dims