lattice: add Pattern.disjoint