exception HeuristicSucceeded
        
let opcode_heuristic code cond ifso ifnot preferred = ()