traversal-pp int sum_salaries(X x, Y y) {

  initialize (@ 0 @)
  to Salary

  before {Company, X} 
    (@ 
      // before
    @)
  after {Salary, Y} 
    (@ 
      // after
    @)
  before {Y}
    (@
      // before2
    @)
}