method vstmt s = total <- total + 1; if Db.Value.is_reachable_stmt s then value <- value + 1; Cil.DoChildren