Initially mark the end block as reachable and set the bad node to bottom (i.e. undefi...