Problem
Why can HTN (Hierarchical Task Network) task decomposition enter an infinite loop and never return a valid plan? Create (in HDDL or any textual formalism), or describe conceptually, a sample domain that allows for loops and a corresponding problem that would force such loop using the TFD algorithm.