Highlighted importance of equals() and hashCode() methods and
explained their invariants, explicitly noted that we assume that
new DeadAssignment() creates a "bottom" value