Bug fixed for AbstractInstructionResolver