Add Instruction resolver(experimental)