added test for redundant internal constraints