The lattice is DepsBottom <= Unassigned, DepsBottom <= AssignedFrom z, Unassigned <= MaybeAssignedFrom and AssignedFrom z <= MaybeAssignedFrom z.
DepsBottom <= Unassigned
DepsBottom <= AssignedFrom z
Unassigned <= MaybeAssignedFrom
AssignedFrom z <= MaybeAssignedFrom z