let edge_to_op e =
    match e with
      PathEdge op -> op
    | _ -> failwith "Summary edge in edge_to_op/get_op"