Some methods in the simplifier like filterActionFluents or filterInapplicableActionFluents still operate on action variables (implying the fact that the action variable is true) rather than action fluent facts, which is why we cannot use these functions for FDR action variables. We should changes this and generalize the functionality to also operate on FDR action fluents.
Some methods in the simplifier like filterActionFluents or filterInapplicableActionFluents still operate on action variables (implying the fact that the action variable is true) rather than action fluent facts, which is why we cannot use these functions for FDR action variables. We should changes this and generalize the functionality to also operate on FDR action fluents.