TEST INPUT:

Company {
  traversal-pp int sum_salaries() {
    initialize (@ 0 @)  // initialize return_val to 0
    to Salary           // traversal
    before Salary (@ return_val = return_val + host.get(v).intValue(): @)
  }
}


OUTPUT:

count:
2

