Extending Lattice linearity for Self-Stabilizing Algorithms