Eliminate NetKAT_LocalCompiler.Field