Verify decoding from extensional representation is sound
Verify decoding from extensional representation is sound

Verify that, on the image of extRepr, it holds extRepr . fromExtrRepr = id.
In other words, verify that when obtain a lock waiting from an extensional
representation, it has the same extensional representation.

Signed-off-by: Klaus Aehlig <4ce51de36d9068cd7db2eec1151e0f3f95419008@google.com>
Reviewed-by: Petr Pudlak <9d19625f8ee825a2c398462ed335cbcf98f79c32@google.com>

leshchevds/ganeti,bitemyapp/ganeti,dimara/ganeti,yiannist/ganeti,yiannist/ganeti,onponomarev/ganeti,apyrgio/ganeti,mbakke/ganeti,ganeti-github-testing/ganeti-test-1,grnet/snf-ganeti,ganeti/ganeti,ganeti-github-testing/ganeti-test-1,apyrgio/ganeti,dimara/ganeti,ganeti/ganeti,leshchevds/ganeti,leshchevds/ganeti,andir/ganeti,andir/ganeti,yiannist/ganeti,mbakke/ganeti,grnet/snf-ganeti,bitemyapp/ganeti,onponomarev/ganeti,ganeti/ganeti,mbakke/ganeti,andir/ganeti