Checking in more tests for InnerConstraintsSpec, with problem tests commented out.