high-level syntax for policy.

gistfile1.txt

// Mapping IR operation to action. 
op.action.name
op.action.data 
op.action.
op is "egress" on y by blah if {
  let operation = op.operator_name in 
  let x = op.args[0] in
  let y = op.args[1] in 
     operation = "send_data_to_network",
     x = "
}

action egress {
  // The following properties are always available.
  op: Operation,
  data: AccessPath, 

  // Additional properties.
  destination: String?,
}

egress contains action_desc if {
   some op in Operations,
   op.operator = "send_data_to_network",
   data = op.args[0],
   destination := op.args[1]:constant,
   action_desc := {
     op: op,
     data: data,
     destination: destination,
   }
}