i think it is still tracing, it's just a matter of identifying possible roots versus actual roots and constraints that fall out from that.