If an action variable only occur in a precondition, it is not clear if that action variable can be removed. I assume we need them in the first "round" of the fixed point iteration in the Simplifier class, but after we have generated a first set of actions it is possible to stop considering them as long as we base the next set of actions on the old one (i.e., check which actions are no longer necessary rather than re-create them from scratch) This is only an intuition, though, that must be validated before anything is implemented.
If an action variable only occur in a precondition, it is not clear if that action variable can be removed. I assume we need them in the first "round" of the fixed point iteration in the Simplifier class, but after we have generated a first set of actions it is possible to stop considering them as long as we base the next set of actions on the old one (i.e., check which actions are no longer necessary rather than re-create them from scratch) This is only an intuition, though, that must be validated before anything is implemented.