Pullup extension sometimes generates invalid plans about hypertension HOT 3 CLOSED

It works!
Took me some time to retest everything.
Once tests are added a new version will be released.

Reopen this issue if you find other instances with the same behavior.
Thanks again for the feedback.

from hypertension.

Thanks for the very well written report and files.
I confirm the incorrect behavior with the provided planning instance.
I was able to obtain a smaller reproducible example from your input.
The reproducible example is in JSHOP style, which I find more compact and easier to modify.
EDIT: I found a minimal reproducible example with one operator and two methods.

(defdomain test (

  (:operator (!act)
    ()
    ((pre))
    ()
  )

  (:method (t_repeat)
    ()
    (
      (t_op)
      (t_op)
    )
  )

  (:method (t_op)
    ((pre))
    ((!act))
  )
))

(defproblem prob test
  ((pre))
  ((t_repeat))
)

from hypertension.

I found the source of the problem: clearing preconditions too soon for operators that appear as the first subtask and only once.
The problem is that such operator could be reached again through another subtask.
A fast solution is to comment the op[#].clear lines.
Tomorrow I will investigate more.
Please leave the issue open until this is resolved.

from hypertension.