Consitency check: use lists for lock keys everywhere (PREDEMO)