Lattice Top ⊤ A MIN_INT Top->A B ... Top->B C -1 Top->C D 0 Top->D E 1 Top->E F ... Top->F G MAX_INT Top->G Bottom ⊥ A->Bottom B->Bottom C->Bottom D->Bottom E->Bottom F->Bottom G->Bottom