Applying formal methods 1.

• matches: the longest sequences on measure-starts avoid variants