Lattice TOP ⊤ CTRL Ctrl TOP->CTRL INT_TOP IntTop TOP->INT_TOP STRUCT_TOP $TOP TOP->STRUCT_TOP PTR_TOP *$TOP TOP->PTR_TOP MEM_TOP MEM#TOP TOP->MEM_TOP BOT ⊥ XCTRL ~Ctrl CTRL->XCTRL XCTRL->BOT INT_MIN -n INT_TOP->INT_MIN INT_MINDOTS ... INT_TOP->INT_MINDOTS INT_MINUS -1 INT_TOP->INT_MINUS INT_ZERO 0 INT_TOP->INT_ZERO INT_PLUS 1 INT_TOP->INT_PLUS INT_MAXDOTS ... INT_TOP->INT_MAXDOTS INT_MAX +n INT_TOP->INT_MAX INT_BOT IntBot INT_BOT->BOT INT_MIN->INT_BOT INT_MINDOTS->INT_BOT INT_MINUS->INT_BOT INT_ZERO->INT_BOT INT_PLUS->INT_BOT INT_MAXDOTS->INT_BOT INT_MAX->INT_BOT STRUCT_S1 S1 STRUCT_TOP->STRUCT_S1 STRUCT_S2 S2 STRUCT_TOP->STRUCT_S2 STRUCT_BOT $BOT STRUCT_S1->STRUCT_BOT STRUCT_S2->STRUCT_BOT STRUCT_BOT->BOT PTR_NULL null PTR_TOP->PTR_NULL PTR_VOIDPTR *void PTR_TOP->PTR_VOIDPTR PTR_S1 *S1 PTR_TOP->PTR_S1 PTR_S2 *S2 PTR_TOP->PTR_S2 PTR_S1OPT *S1? PTR_NULL->PTR_S1OPT PTR_S2OPT *S2? PTR_NULL->PTR_S2OPT PTR_BOT *$BOT? PTR_NULL->PTR_BOT PTR_VOIDPTR->PTR_BOT PTR_S1->PTR_VOIDPTR PTR_S1->PTR_S1OPT PTR_S2->PTR_VOIDPTR PTR_S2->PTR_S2OPT PTR_S1OPT->PTR_BOT PTR_S2OPT->PTR_BOT PTR_BOT->BOT MEM_ALIAS1 #1 MEM_TOP->MEM_ALIAS1 MEM_ALIAS2 #2 MEM_TOP->MEM_ALIAS2 MEM_ALIASDOTS ... MEM_TOP->MEM_ALIASDOTS MEM_ALIASN #n MEM_TOP->MEM_ALIASN MEM_BOT MEM#BOT MEM_ALIAS1->MEM_BOT MEM_ALIAS2->MEM_BOT MEM_ALIASDOTS->MEM_BOT MEM_ALIASN->MEM_BOT MEM_BOT->BOT