Modify generation of failover tables. This version maintains the from (p; t)*. This version also introduces a negation test on hosts at edge switches. This is necessary because I have no way to inform the compiler where the host is in the topology. If I could do that, then the compiler would know that a packet destined to host X cannot come from the port where X is directly attached to the network.