/** Responsible for traversing within a Procedure */
@Override
protected void traverse(Procedure node) {
if (_schedule.db) _schedule.ln(_schedule.GDA, "Traversing Procedure " + node);
if (node.getBody() != null) {
node.getBody().accept(this);
}
}
