abc9_ops: -prep_xaiger exclude (* abc9_keep *) wires from toposort