order_tac: prevent potential bug, improve perf and tracing

• We need to be careful when the order operators contain schematic variables, e.g. <= = ccw' ?p.