Test coverage: intransitive lock