Functional test for encoding of statepronames layer