Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays (Logical Methods in Computer Science, 2022)