flow: some IR fixes
flow: work on instr operand management (wrt. match instr)