Fleshed out a few more tests in InnerConstraintsSpec.