Adds LocalDistinguishability function