Intermediate representation of global compiler: NetKAT Automata

compile p compiles the policy p into an FDD. The pc field is used for internal bookkeeping and must *not* be accessed or written to by the input policy p.