Daniel Höller, Julia Wichlacz, Pascal Bercher, Gregor Behnke: Compiling HTN Plan Verification Problems into HTN Planning Problems. ICAPS 2022: 145-150