Lattice constructor should not be inlined