HPS refinement: Summary
Step-add only undominated actions to establish a condition
- Consider undominated primitive actions only if the condition is not fully hierarchicalized
Add a phantom establishment branch (in addition to simple and step-add establishments)
Defer conflict resolution until the steps taking part in the conflict are all primitive
Similar extensions are made to other UCP refinements