code: private static boolean isLoadIgnored(final LoadInstruction instruction) {
          return Stream.of(VARIABLE_NAMES_TO_IGNORE).anyMatch(instruction.getName()::equals);
      }
docs: Checks if the given LOAD instruction should be ignored for backtracking.
  
  @param instruction The instruction to check
  @return {@code true} if the LOAD instruction will be ignored