Lattice TOP ~scalar +int+tmp+0 PTRHQ ~tmp +tmp+0 TOP->PTRHQ VALH_ ~nscalar +int+tmp TOP->VALH_ INTHQ ~int +int+0 TOP->INTHQ PTRH_ ~ntmp +tmp PTRHQ->PTRH_ NILX_ ~nil [int,tmp]+0 PTRHQ->NILX_ VALH_->PTRH_ INTH_ ~nint +int VALH_->INTH_ NIL__ nil [+int+tmp],0 VALH_->NIL__ VALL_ nscalar int,tmp INTHQ->INTH_ INTHQ->NILX_ PTRL_ ntmp tmp PTRH_->PTRL_ INTL_ nint int INTH_->INTL_ NILX_->VALL_ PTRL0 tmp tmp,0 NIL__->PTRL0 INTL0 int int,0 NIL__->INTL0 PTRL_->PTRL0 PTRL_->VALL_ INTL_->VALL_ INTL_->INTL0 BOT scalar int,tmp,0 PTRL0->BOT VALL_->BOT INTL0->BOT