All Circuit Tracing & Verifying