Added new pseudocode for crawler(), add empty tracer().