core: add cond insn to semantic